Constant sel4_config::consts::ARM_ERRATA_773022

pub const ARM_ERRATA_773022: bool = false;