efi_switch_mm      89 arch/x86/include/asm/efi.h 		efi_switch_mm(&efi_mm);					\
efi_switch_mm      98 arch/x86/include/asm/efi.h 		efi_switch_mm(efi_scratch.prev_mm);			\
efi_switch_mm     140 arch/x86/include/asm/efi.h extern void efi_switch_mm(struct mm_struct *mm);
efi_switch_mm      86 arch/x86/platform/efi/efi_64.c 		efi_switch_mm(&efi_mm);
efi_switch_mm     162 arch/x86/platform/efi/efi_64.c 		efi_switch_mm(efi_scratch.prev_mm);
efi_switch_mm     687 arch/x86/platform/efi/efi_64.c 	efi_switch_mm(&efi_mm);
efi_switch_mm     693 arch/x86/platform/efi/efi_64.c 	efi_switch_mm(efi_scratch.prev_mm);