X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=src%2Fdevices%2Fpit.h;fp=src%2Fdevices%2Fpit.h;h=dff36ae38e957cf89b2bcb2799c3dfe97859487e;hb=f1f2dc8de9e336d83383692d4478bb14a3dafc11;hp=0000000000000000000000000000000000000000;hpb=94d17ee9287aec1c4c9ee37ca02615e8293a5f3a;p=pintos-anon

diff --git a/src/devices/pit.h b/src/devices/pit.h
new file mode 100644
index 0000000..dff36ae
--- /dev/null
+++ b/src/devices/pit.h
@@ -0,0 +1,8 @@
+#ifndef DEVICES_PIT_H
+#define DEVICES_PIT_H
+
+#include <stdint.h>
+
+void pit_configure_channel (int channel, int mode, int frequency);
+
+#endif /* devices/pit.h */