pub const MASK_CORE0_WFI_0: u32 = 0;
Expand description

WFI of core0 is not masked