PCIC_MEMREG_MSB_SHIFT
start_high = ((phys_addr >> PCIC_MEMREG_MSB_SHIFT) & 0x0f)
stop_high = ((phys_end >> PCIC_MEMREG_MSB_SHIFT) & 0x0f)