Home
last modified time | relevance | path

Searched refs:flush_tsb_kernel_range (Results 1 – 3 of 3) sorted by relevance

/linux-4.4.14/arch/sparc/include/asm/
Dtlbflush_64.h18 void flush_tsb_kernel_range(unsigned long start, unsigned long end);
/linux-4.4.14/arch/sparc/mm/
Dtsb.c35 void flush_tsb_kernel_range(unsigned long start, unsigned long end) in flush_tsb_kernel_range() function
Dinit_64.c1690 flush_tsb_kernel_range(PAGE_OFFSET + phys_start, in __kernel_map_pages()
2930 flush_tsb_kernel_range(start, LOW_OBP_ADDRESS); in flush_tlb_kernel_range()
2934 flush_tsb_kernel_range(HI_OBP_ADDRESS, end); in flush_tlb_kernel_range()
2938 flush_tsb_kernel_range(start, end); in flush_tlb_kernel_range()