VEXPRESS_CORE_VBASE
DEVMAP_ENTRY(VEXPRESS_CORE_VBASE,
#define CONSADDR_VA ((CONSADDR - VEXPRESS_CORE_PBASE) + VEXPRESS_CORE_VBASE)
#define VEXPRESS_GIC_VBASE (VEXPRESS_CORE_VBASE + VEXPRESS_CORE_SIZE)