pub const PR_MCE_KILL_GET: u32 = 34; // 34u32