auxio_write_led
auxio_write_led(sc, led);
static void auxio_write_led(struct auxio_softc *, uint32_t);