bcm_gpio_readl
val = bcm_gpio_readl(GPIO_STRAPBUS_REG);
val = bcm_gpio_readl(GPIO_STRAPBUS_REG);
tmp = bcm_gpio_readl(reg);
gpio_out_low = bcm_gpio_readl(gpio_out_low_reg);
gpio_out_high = bcm_gpio_readl(GPIO_DATA_HI_REG);
return !!(bcm_gpio_readl(reg) & mask);
val = bcm_gpio_readl(GPIO_PINMUX_OTHR_REG);