REGNO_ARM32_SPSR
return REGNO_ARM32_SPSR;
return num >= 0 && num <= REGNO_ARM32_SPSR;
uint32_t reg[REGNO_ARM32_SPSR + 1];