Constant WDT_CONFIG_HALT_Msk

pub const WDT_CONFIG_HALT_Msk: u32 = 8;