__get_new_mm_context
mmc = __get_new_mm_context(next_mm, cpu);
mmc = __get_new_mm_context(next_mm, smp_processor_id());