Constant linux_raw_sys::prctl::PR_MCE_KILL

pub const PR_MCE_KILL: u32 = 33;