From 504d962949cf07276eea4ff9cd8d9ef7dab303f2 Mon Sep 17 00:00:00 2001
From: Ali Mashtizadeh <mashti@cs.stanford.edu>
Date: Sat, 5 Jul 2014 23:10:17 -0700
Subject: [PATCH] Fix implicit defs

---
 sys/dev/pci.c | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

diff --git a/sys/dev/pci.c b/sys/dev/pci.c
index 7234804..b6a43d2 100644
--- a/sys/dev/pci.c
+++ b/sys/dev/pci.c
@@ -6,6 +6,20 @@
 
 void PCI_ScanBus();
 
+// Platform functions
+uint8_t PCICfgRead8(uint32_t bus, uint32_t slot, uint32_t func, uint32_t reg);
+uint16_t PCICfgRead16(uint32_t bus, uint32_t slot, uint32_t func, uint32_t reg);
+uint32_t PCICfgRead32(uint32_t bus, uint32_t slot, uint32_t func, uint32_t reg);
+void PCICfgWrite8(uint32_t bus, uint32_t slot, uint32_t func,
+		  uint32_t reg, uint8_t data);
+void PCICfgWrite16(uint32_t bus, uint32_t slot, uint32_t func,
+		  uint32_t reg, uint16_t data);
+void PCICfgWrite32(uint32_t bus, uint32_t slot, uint32_t func,
+		  uint32_t reg, uint32_t data);
+
+// Supported Devices
+void AHCI_Init(uint32_t bus, uint32_t device, uint32_t func);
+
 void
 PCI_Init()
 {