void tdma_init(void);
/* Open */
-tdma_t *tdma_open(tdma_chan_t chan, PinName pin, PinMode mode);
+tdma_t *tdma_open(tdma_chan_t chan, int alt, PinName pin, PinMode mode);
/* Flush/Wait */
void tdma_reset(tdma_t *port);
int tdma_stamp(tdma_t *port, uint64_t *time);
+/* Time */
+uint64_t tdma_time(void);
+
+/* Debug print */
+void tdma_debug(tdma_t *port);
+
#ifdef __cplusplus
}
#endif