Symbol: VEXPRESS_GIC_PBASE
sys/arch/arm/vexpress/vexpress_platform.c
129
bus_space_map(gicd_bst, VEXPRESS_GIC_PBASE + GICD_BASE,
sys/arch/arm/vexpress/vexpress_platform.c
170
VEXPRESS_GIC_PBASE,