SFGPIO_INPUT_VAL
reg = SFGPIO_READ(sc, SFGPIO_INPUT_VAL);
*orig_pins = SFGPIO_READ(sc, SFGPIO_INPUT_VAL) |