Searched defs:flush_kernel_vmap_range (Results 1 – 7 of 7) 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
170 static inline void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function
632 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
321 void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
Completed in 23 milliseconds