Symbol: pic32_gpio_direction_input