X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fide.h;fp=src%2Fdevices%2Fide.h;h=b35da5e8875eef92f4cb49a441d57977ea8e4f51;hb=a03618133f7df0954802a470a4bee7674f7aed45;hp=0000000000000000000000000000000000000000;hpb=bb940d21474958a1d8ee2abffdcb6bac27918398;p=pintos-anon

diff --git a/src/devices/ide.h b/src/devices/ide.h
new file mode 100644
index 0000000..b35da5e
--- /dev/null
+++ b/src/devices/ide.h
@@ -0,0 +1,6 @@
+#ifndef DEVICES_IDE_H
+#define DEVICES_IDE_H
+
+void ide_init (void);
+
+#endif /* devices/ide.h */