Searched refs:flush_tsb_kernel_range (Results 1 – 2 of 2) sorted by relevance
1914 flush_tsb_kernel_range(PAGE_OFFSET + phys_start, in __kernel_map_pages()3109 flush_tsb_kernel_range(start, LOW_OBP_ADDRESS); in flush_tlb_kernel_range()3113 flush_tsb_kernel_range(HI_OBP_ADDRESS, end); in flush_tlb_kernel_range()3117 flush_tsb_kernel_range(start, end); in flush_tlb_kernel_range()
52 void flush_tsb_kernel_range(unsigned long start, unsigned long end) in flush_tsb_kernel_range() function