efi_call_virt4    142 arch/x86/kernel/efi.c 	efi_call_virt4(reset_system, reset_type, status,
efi_call_virt4    152 arch/x86/kernel/efi.c 	return efi_call_virt4(set_virtual_address_map,