274      * GPIO line high : it should set the right bit in IDR  in test_gpio_output_mode()
290     /* Configure the relevant line as output and check the pin is high */  in test_gpio_output_mode()
310      * Test that setting a line high/low externally sets the  in test_gpio_input_mode()
311      * corresponding GPIO line high/low : it should set the  in test_gpio_input_mode()
320     /* Configure a line as input, raise it, and check that the pin is high */  in test_gpio_input_mode()
341      * high and vice-versa.  in test_pull_up_pull_down()
349     /* Configure a line as input with pull-up, check the line is set high */  in test_pull_up_pull_down()
379     /* Setting a line high externally, configuring it in push-pull output */  in test_push_pull()
414      * disconnects a pin set high externally and that the pin  in test_open_drain()
415      * can't be set high externally while configured in open-drain.  in test_open_drain()
426     /* Setting a line high externally, configuring it in open-drain output */  in test_open_drain()
531      * but the tests don't work for pins that are high at reset  in main()
534      * is problematic since the pin was already high.  in main()