pub const KERN_KDSETRTCDEC: i32 = 15;