Constant sel4_config::consts::AARCH64_SERROR_IGNORE

pub const AARCH64_SERROR_IGNORE: bool = false;