ARC_REG_TLBINDEX
write_aux_reg(ARC_REG_TLBINDEX, entry);
idx = read_aux_reg(ARC_REG_TLBINDEX);
write_aux_reg(ARC_REG_TLBINDEX,