Constant sel4_config::consts::ARM_GIC_V3_SUPPORT

pub const ARM_GIC_V3_SUPPORT: bool = false;