mpcsa_leds_pin_write
static void mpcsa_leds_pin_write(void *, int, int);
sc->sc_gpio_chipset.gp_pin_write = mpcsa_leds_pin_write;