I am trying to understand the handling of IPI_CHECK_INTR on a system with two x86 processors.

From what I understand, looks like a CPU issues IPI_CHECK_INTR interrupt to next CPU at the end of interrupt handling if
 INKERNEL_NOW and  INKERNEL_EXIT bits are set. Now, during the handling of IPI_CHECK_INTR, next CPU is executing the 
same code path and bouncing this interrupt back to the first one if value of inkernel hasn't changed. Is this the 
expected behaviour?

Thanks in advance for any explanation.
Prasad Lingutla