Constant riot_sys::inline::WDT_IRQn

source ยท 
pub const WDT_IRQn: IRQn_Type = 16;