KERN_NMI_WATCHDOG

Constant KERN_NMI_WATCHDOG 

Source
pub const KERN_NMI_WATCHDOG: c_int = 75;