Constant sel4_config::consts::ARM_PA_SIZE_BITS_44

pub const ARM_PA_SIZE_BITS_44: bool = false;