rbled_toggle
sc->sc_led = led_create(rbled_toggle, sc, "user_led");
static void rbled_toggle(void *, int);