HEART_L2_INT_RESCHED_CPU_0
if (pend & BIT_ULL(HEART_L2_INT_RESCHED_CPU_0)) {
heart_write(BIT_ULL(HEART_L2_INT_RESCHED_CPU_0),
set_bit(HEART_L2_INT_RESCHED_CPU_0 + cpu, mask);
heart_write(BIT_ULL(HEART_L2_INT_RESCHED_CPU_0 + cpu),
set_bit(HEART_L2_INT_RESCHED_CPU_0, heart_irq_map);
irq = HEART_L2_INT_RESCHED_CPU_0;