Constant riot_sys::WDT_COUNT

source ยท 
pub const WDT_COUNT: u32 = 1;