MicroZed Chronicles リスト http://adiuvoengineering.com/?page_id=285
@ Adam Taylor blog
we need to know the hardware ID parameters for the on-chip devices we wish to use. For this example, those devices are the GIC and GPIO. These parameters are provided mostly within the BSP header file xparameters.h with the exception of the interrupt ID, which is provided by xparameters_ps.h. There is no need to declare this header file within your source code; it is included by the xparameters.h file.
xparameters_ps.hにて定義されているが、xparameters_ps.h自体がxparameters.hにてincludeされている。
# define GPIO_DEVICE_ID XPAR_XGPIOPS_0_DEVICE_ID
# define INTC_DEVICE_ID XPAR_SCUGIC_SINGLE_DEVICE_ID
# define GPIO_INTERRUPT_ID XPS_GPIO_INT_ID