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,