/* Initializes the ia64_ctx.bitmap array based on max_ctx+1. Called after cpu_init() has setup ia64_ctx.max_ctx based on maximum RID that is supported by boot CPU.  */
void __init mmu_context_init(void)
/* Initializes the ia64_ctx.bitmap array based on max_ctx+1. Called after cpu_init() has setup ia64_ctx.max_ctx based on maximum RID that is supported by boot CPU.  */
void __init mmu_context_init(void)
{
	ia64_ctx.bitmap = alloc_bootmem((ia64_ctx.max_ctx+1)>>3);
	ia64_ctx.flushmap = alloc_bootmem((ia64_ctx.max_ctx+1)>>3);
}