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