Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
A Dvirtualization.h34 TEE_Result virt_guest_destroyed(uint16_t guest_id);
92 static inline TEE_Result virt_guest_destroyed(uint16_t guest_id __unused) in virt_guest_destroyed() function
/optee_os/core/arch/arm/tee/
A Dentry_fast.c184 if (virt_guest_destroyed(guest_id)) in tee_entry_vm_destroyed()
/optee_os/core/arch/arm/kernel/
A Dvirtualization.c287 TEE_Result virt_guest_destroyed(uint16_t guest_id) in virt_guest_destroyed() function

Completed in 4 milliseconds