Symbol: X86_NIPI
sys/arch/amd64/amd64/ipi.c
102
for (bit = 0; bit < X86_NIPI && pending; bit++) {
sys/arch/amd64/amd64/ipifuncs.c
86
void (*ipifunc[X86_NIPI])(struct cpu_info *) =
sys/arch/amd64/include/intr.h
224
extern void (*ipifunc[X86_NIPI])(struct cpu_info *);