pub const KERN_KDCPUMAP: i32 = 24;