Constant KERN_PANIC_ON_NMI 

pub const KERN_PANIC_ON_NMI: i32 = 76;