Searched refs:flush_tsb_kernel_range (Results 1 – 3 of 3) sorted by relevance
18 extern void flush_tsb_kernel_range(unsigned long start, unsigned long end);53 do { flush_tsb_kernel_range(start,end); \68 do { flush_tsb_kernel_range(start,end); \
34 void flush_tsb_kernel_range(unsigned long start, unsigned long end) in flush_tsb_kernel_range() function
1528 flush_tsb_kernel_range(PAGE_OFFSET + phys_start, in kernel_map_pages()