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