ARC_REG_TLBPD0
write_aux_reg(ARC_REG_TLBPD0, vaddr_n_asid | _PAGE_PRESENT);
write_aux_reg(ARC_REG_TLBPD0, pd0);
write_aux_reg(ARC_REG_TLBPD0, 0);
write_aux_reg(ARC_REG_TLBPD0, _PAGE_HW_SZ);
write_aux_reg(ARC_REG_TLBPD0, 0);
write_aux_reg(ARC_REG_TLBPD0, vaddr_n_asid);
pd0[way] = read_aux_reg(ARC_REG_TLBPD0);