Searched defs:flush_kernel_vmap_range (Results 1 – 7 of 7) sorted by relevance
66 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
141 static inline void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
24 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
24 static inline void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
648 void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
294 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
330 void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function