pub const KERN_KDGETREG: i32 = 9;