virt_guest_destroyed (reference) in projects: optee_os-3.20.0

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

/optee_os-3.20.0/core/include/kernel/
A D	virtualization.h	`34 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-3.20.0/core/arch/arm/tee/
A D	entry_fast.c	`193 if (virt_guest_destroyed(guest_id)) in tee_entry_vm_destroyed()`
/optee_os-3.20.0/core/arch/arm/kernel/
A D	virtualization.c	`287 TEE_Result virt_guest_destroyed(uint16_t guest_id) in virt_guest_destroyed() function`

Completed in 3 milliseconds