bcm2835_gpio_rd
val = bcm2835_gpio_rd(pc, GP_GPIO_PUP_PDN_CNTRL_REG0 + (offset * 4));
value = bcm2835_gpio_rd(pc, GP_GPIO_PUP_PDN_CNTRL_REG0 + (off * 4));
events = bcm2835_gpio_rd(pc, GPEDS0 + i * 4);
return (bcm2835_gpio_rd(pc, reg) >> GPIO_REG_SHIFT(bit)) & 1;
u32 val = bcm2835_gpio_rd(pc, FSEL_REG(pin));
val = bcm2835_gpio_rd(pc, FSEL_REG(pin));
events = bcm2835_gpio_rd(pc, GPEDS0 + bank * 4);
value = bcm2835_gpio_rd(pc, reg);