Searched defs:flush_kernel_vmap_range (Results 1 – 6 of 6) sorted by relevance
68 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
135 static inline void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
21 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
295 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
740 void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
Completed in 15 milliseconds