Constant KERN_KDBUFWAIT 

pub const KERN_KDBUFWAIT: c_int = 23;