pub const MASK_CORE0_WFI_1: u32 = 0x01;
Expand description

WFI of core0 is masked