linux_raw_sys::prctl

Constant PR_MCE_KILL

source 
pub const PR_MCE_KILL: u32 = 33;