Symbol: powerpc_ipi_handler
sys/powerpc/include/intr_machdep.h
45
driver_filter_t powerpc_ipi_handler;
sys/powerpc/powerpc/intr_machdep.c
466
powerpc_ipi_handler, NULL, NULL,