SUN3X_MONDATA
if ((vaddr_t)ptr >= SUN3X_MONDATA &&
(vaddr_t)ptr < SUN3X_MONDATA + PAGE_SIZE)
for (p = (u_char *)(SUN3X_MONDATA + 0x0400);
p < (u_char *)(SUN3X_MONDATA + 0x1c00); p++)