Home
last modified time | relevance | path

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

/optee_os/core/include/mm/
H A Dpgt_cache.h89 void pgt_flush(struct user_mode_ctx *uctx);
/optee_os/core/mm/
H A Dpgt_cache.c213 void pgt_flush(struct user_mode_ctx *uctx) in pgt_flush() function
610 void pgt_flush(struct user_mode_ctx *uctx) in pgt_flush() function
H A Dvm.c1083 pgt_flush(uctx); in vm_info_final()