25 	uint32_t *gpdat = NULL;  in set_gpio_bit()  local
33 	gpdat = gpio_base_addr + (GPDAT_REG_OFFSET >> 2);  in set_gpio_bit()
44 	val = gpio_read32(gpdat);  in set_gpio_bit()
46 	gpio_write32(gpdat, val);  in set_gpio_bit()
48 	val = gpio_read32(gpdat);  in set_gpio_bit()
62 	uint32_t *gpdat = NULL;  in clr_gpio_bit()  local
72 	gpdat = gpio_base_addr + (GPDAT_REG_OFFSET >> 2);  in clr_gpio_bit()
78 	val = gpio_read32(gpdat);  in clr_gpio_bit()
80 	gpio_write32(gpdat, val);  in clr_gpio_bit()
82 	val = gpio_read32(gpdat);  in clr_gpio_bit()
88 	val = gpio_read32(gpdat);  in clr_gpio_bit()