Constant sel4_config::consts::ARM_PA_SIZE_BITS_40

pub const ARM_PA_SIZE_BITS_40: bool = true;