18 static int gpio_led_gpio_value(led_id_t mask, int state)  in gpio_led_gpio_value()  argument
23 		if (gpio_led_inv[i] == mask)  in gpio_led_gpio_value()
30 void __led_init(led_id_t mask, int state)  in __led_init()  argument
34 	if (gpio_request(mask, "gpio_led") != 0) {  in __led_init()
35 		printf("%s: failed requesting GPIO%lu!\n", __func__, mask);  in __led_init()
39 	gpio_value = gpio_led_gpio_value(mask, state);  in __led_init()
40 	gpio_direction_output(mask, gpio_value);  in __led_init()
43 void __led_set(led_id_t mask, int state)  in __led_set()  argument
45 	int gpio_value = gpio_led_gpio_value(mask, state);  in __led_set()
47 	gpio_set_value(mask, gpio_value);  in __led_set()
50 void __led_toggle(led_id_t mask)  in __led_toggle()  argument
52 	gpio_set_value(mask, !gpio_get_value(mask));  in __led_toggle()