|
static void | dbgpin_set (unsigned pin) |
| Set the given debug pin to HIGH.
|
|
static void | dbgpin_clear (unsigned pin) |
| Set the given debug pin to LOW.
|
|
static void | dbgpin_toggle (unsigned pin) |
| Toggle the given debug pin.
|
|
static void | dbgpin_pulse (unsigned pin) |
| Output a pulse on the given debug pin (toggles the pin twice)
|
|
static void | dbgpin_signal (unsigned pin, unsigned num) |
| Output a specified number of pulses on the given debug pin.
|
|
static size_t | dbgpin_count (void) |
| Get the number of configured debug pins.
|
|
static void | dbgpin_init (void) |
| Initialize the configured input pins.
|
|