flush_tsb_kernel_range
void flush_tsb_kernel_range(unsigned long start, unsigned long end);
flush_tsb_kernel_range(PAGE_OFFSET + phys_start,
flush_tsb_kernel_range(start, LOW_OBP_ADDRESS);
flush_tsb_kernel_range(HI_OBP_ADDRESS, end);
flush_tsb_kernel_range(start, end);