Edocecrous

Hello,
This is also detailed a little bit more in our Getting Started with Vivado IP Integrator and Vitis guide in this section here.
Thanks,
JColvin

The GPIO API uses channels, #1 for push buttons and #2 for LEDS.  For example:
static XGpio gPIOBoardLEDAndPushbuttonss;
...
int rc = XGpio_Initialize(&gPIOBoardLEDAndPushbuttonss,0);
notice the API has 3 parameters, the GPIO handle, which channel 1 for Push buttons set data direction
XGpio_SetDataDirection(&gPIOBoardLEDAndPushbuttonss, 1, 1);
XGpio_SetDataDirection(&gPIOBoardLEDAndPushbuttonss, 2, 0);  set output for LEDs
XGpio_DiscreteWrite(&gPIOBoardLEDAndPushbuttonss, 2, 0x7);