SUN3X_MON_DVMA_BASE
i = m68k_btop(SUN3X_MON_DVMA_BASE - KERNBASE3X);
#define MON_DVMA_BASE SUN3X_MON_DVMA_BASE