return new PhysicalRegisterEnumeration(FIRST_CONDITION+THREAD_SWITCH_REGISTER, FIRST_CONDITION+THREAD_SWITCH_REGISTER);
return new PhysicalRegisterEnumeration(0, -1);
  Enumeration enumerateNonvolatileConditionRegisters() {    return new      PhysicalRegisterEnumeration(FIRST_CONDITION+THREAD_SWITCH_REGISTER,                                  FIRST_CONDITION+THREAD_SWITCH_REGISTER);  }