ARC_REG_PID
sr \reg, [ARC_REG_PID]
write_aux_reg(ARC_REG_PID, asid | MMU_ENABLE);
lr \reg, [ARC_REG_PID]
asid_or_sasid = read_aux_reg(ARC_REG_PID) & 0xff;