is there a reason why NON_SPECIAL_REGS is not the exact bit opposite of
SPECIAL_REGS?
{ 0xffffffff, 0xffffffff, 0x00000008, 0x00000000 }, /* NON_SPECIAL_REGS */ \
{ 0x00000000, 0x00000000, 0x00000007, 0x00000000 }, /* SPECIAL_REGS */ \
aldy