diff --git a/device/pci_ops.c b/device/pci_ops.c
index 80cb8f7199..28d1519da3 100644
--- a/device/pci_ops.c
+++ b/device/pci_ops.c
@@ -42,7 +42,6 @@ static struct bus *get_pbus(struct device *dev)
 		printk(BIOS_ALERT, "%s: %s(%s) Cannot find PCI bus operations",
 		       __func__, dev->dtsname, dev_path(dev));
 		die("");
-		for (;;) ;
 	}
 	return pbus;
 }
diff --git a/device/smbus_ops.c b/device/smbus_ops.c
index 5dfad0ea48..a90639aff1 100644
--- a/device/smbus_ops.c
+++ b/device/smbus_ops.c
@@ -36,7 +36,6 @@ struct bus *get_pbus_smbus(device_t dev)
 		printk_alert("%s Cannot find smbus bus operations",
 			     dev_path(dev));
 		die("");
-		for (;;) ;
 	}
 	return pbus;
 }