riot_sys::bindgen

Constant WDT_CONFIG_HALT_Msk

Source 
pub const WDT_CONFIG_HALT_Msk: u32 = 8;