pub const CONFIG_DEBUG_IRQ_DISABLE_THRESHOLD: u32 = 1;