diff --git a/drivers/pci/pci_drivers.c b/drivers/pci/pci_drivers.c
index cd25ee2d46..4247d7340b 100644
--- a/drivers/pci/pci_drivers.c
+++ b/drivers/pci/pci_drivers.c
@@ -47,7 +47,7 @@
 
 int pci_register_drivers(void)
 {
-  int ret;
+  int ret = OK;
 
 #ifdef CONFIG_PCI_IVSHMEM
   ret = pci_ivshmem_register();