Matthew McClintock wrote: > +#ifndef CONFIG_SMP > stale_map[0] = alloc_bootmem(CTX_MAP_SIZE); > +#else > + stale_map[boot_cpuid] = alloc_bootmem(CTX_MAP_SIZE); So you're saying that even on a non-SMP kernel, boot_cpuid might not be zero?