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