rustmax::libc

Constant KERN_NMI_WATCHDOG

Source 
pub const KERN_NMI_WATCHDOG: i32 = 75;