Searched defs:flush_kernel_vmap_range (Results 1 – 6 of 6) sorted by relevance
140 static inline void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
75 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
23 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
300 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
192 static inline void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
891 void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function