8 /* Signal generation init */
9 void emit_init(int alt, PinName pin, PinMode mode);
11 /* Configure signal generation phase */
12 void emit_set_start(uint64_t start);
14 /* Configure signal generation frequency */
15 void emit_set_period(uint64_t period);
17 /* Queue GPIO signal if due */
18 void emit_transmit(uint64_t local, uint64_t world);