Constant IRQ_TG1_WDT_LEVEL 

pub const IRQ_TG1_WDT_LEVEL: u32 = 35;