random: Fix behavior of kernel option "-rs".
[pintos-anon] / src / devices / pit.h
1 #ifndef DEVICES_PIT_H
2 #define DEVICES_PIT_H
3
4 #include <stdint.h>
5
6 void pit_configure_channel (int channel, int mode, int frequency);
7
8 #endif /* devices/pit.h */