flush_tsb_kernel_range   19 arch/sparc/include/asm/tlbflush_64.h void flush_tsb_kernel_range(unsigned long start, unsigned long end);
flush_tsb_kernel_range 1929 arch/sparc/mm/init_64.c 	flush_tsb_kernel_range(PAGE_OFFSET + phys_start,
flush_tsb_kernel_range 3115 arch/sparc/mm/init_64.c 			flush_tsb_kernel_range(start, LOW_OBP_ADDRESS);
flush_tsb_kernel_range 3119 arch/sparc/mm/init_64.c 			flush_tsb_kernel_range(HI_OBP_ADDRESS, end);
flush_tsb_kernel_range 3123 arch/sparc/mm/init_64.c 		flush_tsb_kernel_range(start, end);