Constant EF_ARM_MAVERICK_FLOAT 

pub const EF_ARM_MAVERICK_FLOAT: u32 = 0x800;