CTX_MAP_SIZE
stale_map[cpu] = kzalloc(CTX_MAP_SIZE, GFP_KERNEL);
context_map = memblock_alloc_or_panic(CTX_MAP_SIZE, SMP_CACHE_BYTES);
stale_map[boot_cpuid] = memblock_alloc_or_panic(CTX_MAP_SIZE, SMP_CACHE_BYTES);
2 * CTX_MAP_SIZE + (sizeof(void *) * (LAST_CONTEXT + 1)),