Home
last modified time | relevance | path

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

/optee_os/core/include/kernel/
H A Dvirtualization.h240 void virt_remove_cookie(uint64_t cookie);
250 static inline void virt_remove_cookie(uint64_t cookie __unused) { } in virt_remove_cookie() function
/optee_os/core/arch/arm/mm/
H A Dmobj_ffa.c241 virt_remove_cookie(cookie); in mobj_ffa_sel1_spmc_new()
568 virt_remove_cookie(cookie); in mobj_ffa_sel1_spmc_reclaim()
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c623 void virt_remove_cookie(uint64_t cookie) in virt_remove_cookie() function