Home
last modified time | relevance | path

Searched refs:virt_guest_created (Results 1 – 5 of 5) sorted by relevance

/optee_os/core/include/kernel/
H A Dvirtualization.h29 TEE_Result virt_guest_created(uint16_t guest_id);
185 static inline TEE_Result virt_guest_created(uint16_t guest_id __unused) in virt_guest_created() function
/optee_os/core/arch/riscv/tee/
H A Dentry_fast.c147 if (virt_guest_created(guest_id)) in tee_entry_vm_created()
/optee_os/core/arch/arm/tee/
H A Dentry_fast.c208 if (virt_guest_created(guest_id)) in tee_entry_vm_created()
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c302 TEE_Result virt_guest_created(uint16_t guest_id) in virt_guest_created() function
H A Dthread_spmc.c860 TEE_Result res = virt_guest_created(guest_id); in handle_framework_direct_request()