MAX_GPIO_INPUT_VAL
val = __SHIFTOUT(gpio, MAX_GPIO_INPUT_VAL);
(int)__SHIFTOUT(gpio, MAX_GPIO_INPUT_VAL), val);