DVMA_BASE
va -= DVMA_BASE;
dmava = DVMA_BASE;
va += DVMA_BASE;
u_int dvma2_end = DVMA_BASE + DVMA_MAPLEN;
dmava = DVMA_BASE;
va += DVMA_BASE;
if ((va < DVMA_BASE) || (va >= (DVMA_BASE + DVMA_MAPLEN)))
u_int dvma3_end = DVMA_BASE + DVMA_MAPLEN;
dmava = DVMA_BASE;
va += DVMA_BASE;
if ((va < DVMA_BASE) || (va >= (DVMA_BASE + DVMA_MAPLEN)))