pub const PF_ARM_VFP_32_REGISTERS_AVAILABLE: u32 = 18;