Constant riot_sys::WDT_CONFIG_HALT_Pause

pub const WDT_CONFIG_HALT_Pause: u32 = 0;