GPIO_PINMUX_OTHR_REG
val = bcm_gpio_readl(GPIO_PINMUX_OTHR_REG);
bcm_gpio_writel(val, GPIO_PINMUX_OTHR_REG);