ARC_REG_DC_PTAG_HI
write_aux_reg(ARC_REG_DC_PTAG_HI, 0);
write_aux_reg(ARC_REG_DC_PTAG_HI, (u64)paddr >> 32);