pub const arm_sysreg_ARM_SYSREG_FAULTMASK: arm_sysreg = 280;