Searched defs:flush_tsb_kernel_range (Results 1 – 2 of 2) sorted by relevance
52 void flush_tsb_kernel_range(unsigned long start, unsigned long end) in flush_tsb_kernel_range() function