pub const KERN_KDBUFWAIT: i32 = 23;