DVMA_MAPLEN
if (va < 0 || va >= DVMA_MAPLEN)
nseg = (DVMA_MAPLEN + NBPSG - 1) >> SGSHIFT;
if (va < 0 || va >= DVMA_MAPLEN)
#define SA_MAX_VA (SA_MIN_VA + DVMA_MAPLEN)
u_int dvma2_end = DVMA_BASE + DVMA_MAPLEN;
if ((va < DVMA_BASE) || (va >= (DVMA_BASE + DVMA_MAPLEN)))
#define SA_MAX_VA (SA_MIN_VA + DVMA_MAPLEN)
u_int dvma3_end = DVMA_BASE + DVMA_MAPLEN;
if ((va < DVMA_BASE) || (va >= (DVMA_BASE + DVMA_MAPLEN)))