check_switch_mmu_context
extern void check_switch_mmu_context(struct mm_struct *mm);
check_switch_mmu_context(next);
EXPORT_SYMBOL_GPL(check_switch_mmu_context);