Symbol: setup_ipi_vectors
sys/arch/ia64/ia64/sal.c
166
setup_ipi_vectors(dp->sale_vector & 0xf0);
sys/arch/ia64/ia64/sal.c
182
setup_ipi_vectors(0xf0);