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