HI_OBP_ADDRESS
if (start < HI_OBP_ADDRESS && end > LOW_OBP_ADDRESS) {
if (end > HI_OBP_ADDRESS) {
flush_tsb_kernel_range(HI_OBP_ADDRESS, end);
do_flush_tlb_kernel_range(HI_OBP_ADDRESS, end);
vaddr < HI_OBP_ADDRESS);