To get the GPIO binding I can use:
device_get_binding("GPIO_0");
1. I would like to know where in the documentation it lists the strings you can pass to that function to get different device bindings.
2. I would like to know what string to pass to that function to get a reference to the ADC