00001 #ifndef DEVICES_PIT_H 00002 //106675413 00003 #define DEVICES_PIT_H 00004 00005 #include <stdint.h> 00006 00007 void pit_configure_channel (int channel, int mode, int frequency); 00008 00009 #endif /* devices/pit.h */