I386_NIPI
for (bit = 0; bit < I386_NIPI && pending; bit++) {
void (*ipifunc[I386_NIPI])(struct cpu_info *) =
extern void (*ipifunc[I386_NIPI])(struct cpu_info *);