2  * MMU context handling.
19 /* The pids position and mask in context */
24 /* The versions position and mask in context */
29 /* Return the version part of a context */
32 /* Return the pid part of a context */
35 /* Value of the first context (version 1, pid 0) */
41  * Initialize MMU context management stuff.
51  * Set new context (pid), keep way
53 static void set_context(mm_context_t context)  in set_context()  argument
55 	set_mmu_pid(CTX_PID(context));  in set_context()
87 	/* If the process context we are swapping in has a different context  in switch_mm()
89 	if (unlikely(CTX_VERSION(next->context) !=  in switch_mm()
91 		next->context = get_new_context();  in switch_mm()
96 	/* Set the current context */  in switch_mm()
97 	set_context(next->context);  in switch_mm()
104  * the context for the new mm so we see the new mappings.
108 	next->context = get_new_context();  in activate_mm()
109 	set_context(next->context);  in activate_mm()
113 unsigned long get_pid_from_context(mm_context_t *context)  in get_pid_from_context()  argument
115 	return CTX_PID((*context));  in get_pid_from_context()