MON_DVMA_MAPLEN
u_int dvma3x_end = MON_DVMA_BASE + MON_DVMA_MAPLEN;
(va >= (MON_DVMA_BASE + MON_DVMA_MAPLEN)))