Constant EF_ARM_MAVERICK_FLOAT

pub const EF_ARM_MAVERICK_FLOAT: u32 = 0x800;