Home
last modified time | relevance | path

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

/optee_os/core/arch/arm/include/mm/
A Dpgt_cache.h70 static inline void pgt_flush_ctx_range(struct pgt_cache *pgt_cache __unused, in pgt_flush_ctx_range() function
/optee_os/core/arch/arm/mm/
A Dpgt_cache.c390 void pgt_flush_ctx_range(struct pgt_cache *pgt_cache, struct ts_ctx *ctx, in pgt_flush_ctx_range() function

Completed in 5 milliseconds