While you're in there, note in passing how the program imports the GPIO base address from xgpio_l.h -- this is dynamically updated by EDK if you shuffle around the base address of the peripheral.
在處理代碼時,請注意程序如何從 xgpio_l.h 導入GPIO的基地址 ——如果變動了外部設備的基地址,EDK 會自動更新它。