Constant opentitanlib::otp::alert_handler_regs::ALERT_HANDLER_ALERT_REGWEN_13_REG_RESVAL

pub const ALERT_HANDLER_ALERT_REGWEN_13_REG_RESVAL: u32 = 1;