/* Configures several pins using config_pin(). Refer to that function for further information.  */
void db8500_gpio_config_pins(unsigned long *cfgs, size_t num)
/* Configures several pins using config_pin(). Refer to that function for further information.  */
void db8500_gpio_config_pins(unsigned long *cfgs, size_t num)
{
	size_t i;
	for (i = 0; i < num; i++)
		config_pin(cfgs[i]);
}