pub const INTERRUPT_CORE0_CPU_INTR_FROM_CPU_3_MAP: u32 = 31;