CHIP_D_MEM_W1_SYS_START
(CHIP_D_MEM_W1_SYS_START(v) + 0x7fffffffUL)
*memhp = ALPHA_PHYS_TO_K0SEG(CHIP_D_MEM_W1_SYS_START(v)) +
if (memh >= CHIP_D_MEM_W1_SYS_START(v) &&
(memh - CHIP_D_MEM_W1_SYS_START(v));