Symbol: j2_ipi_interrupt_handler