X-Git-Url: https://git.ucc.asn.au/?a=blobdiff_plain;f=Kernel%2Fdrv%2Fpci.c;h=1f9e7285607bdc0029e349a924401b4a7d5f7a6b;hb=25f7e9ab0f31ca486c0c981a406d381e160637a4;hp=b4881d3bf4394293b2cdb1ec6545524a44a56984;hpb=6a945643557084578509e149c84cf5dde3c59c3c;p=tpg%2Facess2.git

diff --git a/Kernel/drv/pci.c b/Kernel/drv/pci.c
index b4881d3b..1f9e7285 100644
--- a/Kernel/drv/pci.c
+++ b/Kernel/drv/pci.c
@@ -79,8 +79,8 @@ Uint32	gaPCI_BusBitmap[256/32];
  
 // === CODE ===
 /**
- * \fn int PCI_Install()
  * \brief Scan the PCI Bus for devices
+ * \param Arguments	Boot-time parameters
  */
 int PCI_Install(char **Arguments)
 {
@@ -116,7 +116,7 @@ int PCI_Install(char **Arguments)
 	}
 	gPCI_Devices = tmpPtr;
 	
-	Log_Log("PCI", "%i devices, filling structure");
+	Log_Log("PCI", "%i devices, filling structure", giPCI_DeviceCount);
 	
 	// Reset counts
 	giPCI_DeviceCount = 0;