Home
last modified time | relevance | path

Searched defs:virt_remove_cookie (Results 1 – 2 of 2) sorted by relevance

/optee_os/core/include/kernel/
H A Dvirtualization.h250 static inline void virt_remove_cookie(uint64_t cookie __unused) { } in virt_remove_cookie() function
/optee_os/core/arch/arm/kernel/
H A Dvirtualization.c623 void virt_remove_cookie(uint64_t cookie) in virt_remove_cookie() function