gpio_get_value [-d CONTROLLER] GPIO
3.9.13. gpio_direction_output - set direction of a GPIO pin to output
3.9.15. gpio_set_value - set a GPIO’s output value