00001 #ifndef PIT_H 00002 #define PIT_H 00003 00004 #include <stdint.h> 00005 00006 void set_pit_channel(uint8_t, uint8_t, uint32_t); 00007 00008 #endif