pub const PR_MCE_KILL_LATE: u32 = 0;