SA_MIN_VA
#define SA_MAX_VA (SA_MIN_VA + DVMA_MAPLEN)
segva = SA_MIN_VA;
if ((va < SA_MIN_VA) || (va >= SA_MAX_VA))
va, SA_MIN_VA, SA_MAX_VA);
va -= SA_MIN_VA;
#define SA_MAX_VA (SA_MIN_VA + DVMA_MAPLEN)
segva = SA_MIN_VA;
if ((va < SA_MIN_VA) || (va >= SA_MAX_VA))
va -= SA_MIN_VA;
#define SA_MAX_VA (SA_MIN_VA + MON_DVMA_SIZE - (8 * NBPG))
pa = SA_MIN_VA;
if ((va < SA_MIN_VA) || (va >= SA_MAX_VA))
va -= SA_MIN_VA;