flush_tsb_kernel_range - Linux

Symbol: flush_tsb_kernel_range

arch/sparc/include/asm/tlbflush_64.h

void flush_tsb_kernel_range(unsigned long start, unsigned long end);

arch/sparc/mm/init_64.c

flush_tsb_kernel_range(PAGE_OFFSET + phys_start,

arch/sparc/mm/init_64.c

flush_tsb_kernel_range(start, LOW_OBP_ADDRESS);

arch/sparc/mm/init_64.c

flush_tsb_kernel_range(HI_OBP_ADDRESS, end);

arch/sparc/mm/init_64.c

flush_tsb_kernel_range(start, end);