Constant KERN_CTLALTDEL 

pub const KERN_CTLALTDEL: c_int = 22;