Searched defs:virt_reclaim_cookie_from_destroyed_guest (Results 1 – 2 of 2) sorted by relevance
255 virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id __unused, in virt_reclaim_cookie_from_destroyed_guest() function
691 TEE_Result virt_reclaim_cookie_from_destroyed_guest(uint16_t guest_id, in virt_reclaim_cookie_from_destroyed_guest() function