sel4_config::consts

Constant ARM_ERRATA_430973

Source 
pub const ARM_ERRATA_430973: bool = false;