mpcsa_leds_pin_read
static int mpcsa_leds_pin_read(void *, int);
sc->sc_gpio_chipset.gp_pin_read = mpcsa_leds_pin_read;