Symbol: intr_ipi_lookup