force_flush_all(); 
CHOOSE_MODE(force_flush_all(), switch_mm_skas(&new->context.skas.id)); 
static inline void activate_mm(struct mm_struct *old, struct mm_struct *new){	/*	 * This is called by fs/exec.c and fs/aio.c. In the first case, for an	 * exec, we don't need to do anything as we're called from userspace	 * and thus going to use a new host PID. In the second, we're called	 * from a kernel thread, and thus need to go doing the mmap's on the	 * host. Since they're very expensive, we want to avoid that as far as	 * possible.	 */	if (old != new && (current->flags & PF_BORROWED_MM))		force_flush_all();}
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/e763b793f7e5c09a859fc420eb0de385d80cf636/mmu_context.h/clean/include/asm-um/mmu_context.h