Re: Question about IPI interrupt handler