ZYNQ_ARMCORE_SIZE
ZYNQ_ARMCORE_SIZE),
#define ZYNQ_OCM_VBASE (ZYNQ_ARMCORE_VBASE + ZYNQ_ARMCORE_SIZE)