44 					 unsigned int gpio_pin)  in pl061_get_direction()  argument
50 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_get_direction()
52 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_get_direction()
53 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_get_direction()
61 				unsigned int gpio_pin, enum gpio_dir direction)  in pl061_set_direction()  argument
66 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_set_direction()
68 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_set_direction()
69 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_set_direction()
85 				       unsigned int gpio_pin)  in pl061_get_value()  argument
90 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_get_value()
92 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_get_value()
93 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_get_value()
105 			    unsigned int gpio_pin, enum gpio_level value)  in pl061_set_value()  argument
110 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_set_value()
112 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_set_value()
113 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_set_value()
121 					       unsigned int gpio_pin)  in pl061_get_interrupt()  argument
127 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_get_interrupt()
129 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_get_interrupt()
130 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_get_interrupt()
138 				unsigned int gpio_pin,  in pl061_set_interrupt()  argument
144 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_set_interrupt()
146 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_set_interrupt()
147 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_set_interrupt()
187 enum pl061_mode_control pl061_get_mode_control(unsigned int gpio_pin)  in pl061_get_mode_control()  argument
193 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_get_mode_control()
195 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_get_mode_control()
196 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_get_mode_control()
203 void pl061_set_mode_control(unsigned int gpio_pin,  in pl061_set_mode_control()  argument
209 	assert(gpio_pin < PLAT_PL061_MAX_GPIOS);  in pl061_set_mode_control()
211 	base_addr = pl061_reg_base[gpio_pin / GPIOS_PER_PL061];  in pl061_set_mode_control()
212 	offset = gpio_pin % GPIOS_PER_PL061;  in pl061_set_mode_control()