Home
last modified time | relevance | path

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

/optee_os/core/include/mm/
H A Dpgt_cache.h71 void pgt_flush_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t last);
/optee_os/core/mm/
H A Dpgt_cache.c171 void pgt_flush_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t last) in pgt_flush_range() function
718 void pgt_flush_range(struct user_mode_ctx *uctx, vaddr_t begin, vaddr_t last) in pgt_flush_range() function
H A Dvm.c166 pgt_flush_range(uctx, begin, last); in rem_um_region()