Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dvirtualization.h239 TEE_Result virt_add_cookie_to_current_guest(uint64_t cookie);
248 virt_add_cookie_to_current_guest(uint64_t cookie __unused) in virt_add_cookie_to_current_guest() function
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c601 TEE_Result virt_add_cookie_to_current_guest(uint64_t cookie) in virt_add_cookie_to_current_guest() function
/optee_os/core/arch/arm/mm/
H A Dmobj_ffa.c224 if (virt_add_cookie_to_current_guest(cookie)) in mobj_ffa_sel1_spmc_new()