MISC_REGISTERS_GPIO_PORT_SHIFT
(gpio_port ? MISC_REGISTERS_GPIO_PORT_SHIFT : 0));
(gpio_port ? MISC_REGISTERS_GPIO_PORT_SHIFT : 0));
(gpio_port ? MISC_REGISTERS_GPIO_PORT_SHIFT : 0));
(1<<(MISC_REGISTERS_GPIO_3 + MISC_REGISTERS_GPIO_PORT_SHIFT)));