-Tinkered with formatting
[pintos-anon] / src / devices / usb.h
index 7e6429aef9fba6f4784dc529e26630c53b536ca7..dde4cc725b5af76c31a2386772cc96b044bd4c65 100644 (file)
@@ -1,4 +1,9 @@
+#ifndef DEVICES_USB_H
+#define DEVICES_USB_H
+
 #define USB_BASE_CLASS 0x0c
 #define USB_SUB_CLASS 0x03
 
 void usb_init(void);
+
+#endif /* devices/usb.h */