Searched refs:flush_kernel_vmap_range (Results 1 – 7 of 7) sorted by relevance
87 flush_kernel_vmap_range(addrh1, 2); in __patch_text_real()103 flush_kernel_vmap_range(waddr, twopage ? size / 2 : size); in __patch_text_real()
23 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
39 void flush_kernel_vmap_range(void *vaddr, int size);
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
300 static inline void flush_kernel_vmap_range(void *addr, int size) in flush_kernel_vmap_range() function
891 void flush_kernel_vmap_range(void *vaddr, int size) in flush_kernel_vmap_range() function909 EXPORT_SYMBOL(flush_kernel_vmap_range);
Completed in 11 milliseconds