HEART_L2_INT_RESCHED_CPU_1
} else if (pend & BIT_ULL(HEART_L2_INT_RESCHED_CPU_1)) {
heart_write(BIT_ULL(HEART_L2_INT_RESCHED_CPU_1),
set_bit(HEART_L2_INT_RESCHED_CPU_1, heart_irq_map);