diff --git a/stand/efi/libefi/devpath.c b/stand/efi/libefi/devpath.c
index b56c583b5fa7..c25ae73e463c 100644
--- a/stand/efi/libefi/devpath.c
+++ b/stand/efi/libefi/devpath.c
@@ -146,8 +146,8 @@ efi_hw_dev_path(EFI_DEVICE_PATH *node, char *suffix)
 	switch (subtype) {
 	case HW_PCI_DP:
 		if (asprintf(&name, "Pci(%x,%x)%s",
-		    ((PCI_DEVICE_PATH *)node)->Function,
-		    ((PCI_DEVICE_PATH *)node)->Device, tail) < 0)
+		    ((PCI_DEVICE_PATH *)node)->Device,
+		    ((PCI_DEVICE_PATH *)node)->Function, tail) < 0)
 			name = NULL;
 		break;
 	case HW_PCCARD_DP: