pub const ARM_SCHEDULING_CONTROLS_SPEC_VERSION: u32 = 1u32;