pub const KERN_SPARC_REBOOT: i32 = 21;