PR_MCE_KILL_LATE

linux_raw_sys::prctl

Constant PR_MCE_KILL_LATE 

Source 
pub const PR_MCE_KILL_LATE: u32 = 0;