pub const KERN_KDSETREG: i32 = 8;