Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dvirtualization.h40 TEE_Result virt_guest_destroyed(uint16_t guest_id);
188 static inline TEE_Result virt_guest_destroyed(uint16_t guest_id __unused) in virt_guest_destroyed() function
/optee_os/core/arch/riscv/tee/
H A Dentry_fast.c163 if (virt_guest_destroyed(guest_id)) in tee_entry_vm_destroyed()
/optee_os/core/arch/arm/tee/
H A Dentry_fast.c224 if (virt_guest_destroyed(guest_id)) in tee_entry_vm_destroyed()
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c480 TEE_Result virt_guest_destroyed(uint16_t guest_id) in virt_guest_destroyed() function
H A Dthread_spmc.c876 TEE_Result res = virt_guest_destroyed(guest_id); in handle_framework_direct_request()