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