pub const PR_MCE_KILL_SET: u32 = 1;