alloc_context_id
index = alloc_context_id(mmu_base_pid, max_id);
return alloc_context_id(MIN_USER_CONTEXT, max);