Constant CONFIG_INT_WDT_CHECK_CPU1 

pub const CONFIG_INT_WDT_CHECK_CPU1: u32 = 1;