VEXPRESS_CORE_PBASE
VEXPRESS_CORE_PBASE,
#define CONSADDR_VA ((CONSADDR - VEXPRESS_CORE_PBASE) + VEXPRESS_CORE_VBASE)