Searched refs:SBI_EXT_TEE (Results 1 – 2 of 2) sorted by relevance
| /optee_os/core/arch/riscv/include/ | ||
| H A D | sbi.h | 35 #define SBI_EXT_TEE 0x544545 macro |
| /optee_os/core/arch/riscv/kernel/ | ||
| H A D | thread_optee_abi_rv.S | 33 li a7, SBI_EXT_TEE /* extension ID */ |