Constant sel4_config::consts::ARM_ERRATA_430973

pub const ARM_ERRATA_430973: bool = false;