X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fpci.h;fp=src%2Fdevices%2Fpci.h;h=58fe4ea3cb22f43e58458f7c9bfb2b624d1c4fcd;hb=c2edf1dc3e9a634fb7c68519d6cb6534a129e5b1;hp=0000000000000000000000000000000000000000;hpb=749088412dc35dfc51035c30b86dd0b86a6954f7;p=pintos-anon

diff --git a/src/devices/pci.h b/src/devices/pci.h
new file mode 100755
index 0000000..58fe4ea
--- /dev/null
+++ b/src/devices/pci.h
@@ -0,0 +1 @@
+void pci_scan (void);