pub const EF_ARM_GCCMASK: u32 = 0x00400FFF;
Legacy code (ABI version 4 and earlier) generated by gcc-arm-xxx might use these bits.