13 #define TDMA_NUM_CHAN 4
24 typedef struct tdma_t tdma_t;
30 tdma_t *tdma_open(tdma_chan_t chan, int alt, PinName pin, PinMode mode);
33 void tdma_start(tdma_t *port);
34 void tdma_stop(tdma_t *port);
35 int tdma_stamp(tdma_t *port, uint64_t *time);
38 uint64_t tdma_time(void);
41 void tdma_debug(tdma_t *port);