Symbol: VEXPRESS_CORE_SIZE
sys/arch/arm/vexpress/vexpress_platform.c
168
VEXPRESS_CORE_SIZE),
sys/arch/arm/vexpress/vexpress_platform.h
36
#define VEXPRESS_GIC_VBASE (VEXPRESS_CORE_VBASE + VEXPRESS_CORE_SIZE)