Searched refs:flush_tsb_kernel_range (Results 1 – 3 of 3) sorted by relevance
9 extern void flush_tsb_kernel_range(unsigned long start, unsigned long end);29 do { flush_tsb_kernel_range(start,end); \38 do { flush_tsb_kernel_range(start,end); \
36 void flush_tsb_kernel_range(unsigned long start, unsigned long end) in flush_tsb_kernel_range() function
1533 flush_tsb_kernel_range(PAGE_OFFSET + phys_start, in kernel_map_pages()