Symbol: DVMA_REGION_SIZE