MON_DVMA_BASE
u_int dvma3x_end = MON_DVMA_BASE + MON_DVMA_MAPLEN;
va = MON_DVMA_BASE;
va += MON_DVMA_BASE;
if ((va < MON_DVMA_BASE) ||
(va >= (MON_DVMA_BASE + MON_DVMA_MAPLEN)))
} else if (va >= MON_DVMA_BASE) {
va -= MON_DVMA_BASE;
} else if (va >= MON_DVMA_BASE) {
va -= MON_DVMA_BASE;
va -= MON_DVMA_BASE;