[Arty A7 basic IO problem]

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);