Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dvirtualization.h244 TEE_Result virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id,
255 virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id __unused, in virt_reclaim_cookie_from_destroyed_guest() function
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c691 TEE_Result virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id, in virt_reclaim_cookie_from_destroyed_guest() function
H A Dthread_spmc.c1530 if (!virt_reclaim_cookie_from_destroyed_guest(guest_id, in handle_mem_reclaim()