| // SPDX-License-Identifier: BSD-2-Clause |
| /* |
| * Copyright (c) 2017, Linaro Limited |
| */ |
| #include <compiler.h> |
| #include <kernel/thread.h> |
| #include <kernel/wait_queue.h> |
| #include <sm/tee_mon.h> |
| #include <tee_api_types.h> |
| #include <tee/arch_svc.h> |
| #include <tee/entry_std.h> |
| |
| #include "thread_private.h" |
| |
| void __section(".text.dummy.tee_svc_handler") |
| thread_svc_handler(struct thread_svc_regs *regs __unused) |
| { |
| } |
| |
| TEE_Result __section(".text.dummy.init_teecore") init_teecore(void) |
| { |
| return TEE_SUCCESS; |
| } |
| |
| uint32_t __section(".text.dummy.__thread_std_smc_entry") |
| __thread_std_smc_entry(uint32_t a0 __unused, uint32_t a1 __unused, |
| uint32_t a2 __unused, uint32_t a3 __unused) |
| { |
| return 0; |
| } |
| void __section(".text.dummy.__wq_rpc") |
| __wq_rpc(uint32_t func __unused, int id __unused, |
| const void *sync_obj __unused, const char *fname __unused, |
| int lineno __unused) |
| { |
| } |