MON_DVMA_SIZE
#define SA_MAX_VA (SA_MIN_VA + MON_DVMA_SIZE - (8 * NBPG))
#define MON_DVMA_MAPLEN (MON_DVMA_SIZE - NBPG)