Constant sel4_config::consts::FPU_MAX_RESTORES_SINCE_SWITCH

pub const FPU_MAX_RESTORES_SINCE_SWITCH: &str = "64";