I built petalinux 2018.2 based on the exported HDF (from Vivado/SDK 2018.2) and have verified that gpio does exist in the device tree at the correct address (0xff0a0000). Additionally, the GPIO registers do seem to be modified as expected while using the sysfs interface. And the GPIO pins do function correctly as an input: I am able to export the pins, set the direction, and read the value through sysfs and see that, e.g., a pin pulled high reads 1 until I pull the signal to ground, when it reads 0. Here's a quick demonstration using only sysfs:
root:~# echo 370 > /sys/class/gpio/export
# Test for successful export
root:~# ls -d /sys/class/gpio/gpio370/
/sys/class/gpio/gpio370/
root:~# echo in > /sys/class/gpio/gpio370/direction
# [TE0705 pin J1-9 measures 3.3v]
root:~# cat /sys/class/gpio/gpio370/value
1
# [J1-9 is shorted to ground]
root:~# cat /sys/class/gpio/gpio370/value
0
root:~# echo out > /sys/class/gpio/gpio370/direction
root:~# echo 0 > /sys/class/gpio/gpio370/value
root:~# cat /sys/class/gpio/gpio370/direction
out
# [J1-9 jumper to ground has been removed, again measures 3.3v]
root:~# cat /sys/class/gpio/gpio370/value
1