Question about IPI interrupt handler