Constant KERN_CTLALTDEL 

pub const KERN_CTLALTDEL: i32 = 22;