REGNO_VAX_PSW
LAST_REGISTER = REGNO_VAX_PSW,
LAST_RESTORE_REG = REGNO_VAX_PSW,
return REGNO_VAX_PSW;
uint32_t reg[REGNO_VAX_PSW + 1];