Symbol: ipi_intr_t