sel4_config::consts

Constant ARM_PA_SIZE_BITS_40

Source 
pub const ARM_PA_SIZE_BITS_40: bool = false;