Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dvirtualization.h241 uint16_t virt_find_guest_by_cookie(uint64_t cookie);
251 static inline uint16_t virt_find_guest_by_cookie(uint64_t cookie __unused) in virt_find_guest_by_cookie() function
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c639 uint16_t virt_find_guest_by_cookie(uint64_t cookie) in virt_find_guest_by_cookie() function
H A Dthread_spmc.c1522 guest_id = virt_find_guest_by_cookie(cookie); in handle_mem_reclaim()