sel4_config::consts

Constant ARM_PA_SIZE_BITS_44

Source 
pub const ARM_PA_SIZE_BITS_44: bool = true;