do_xmem_word
u_int32_t do_xmem_word(vaddr_t, u_int32_t, int);
v = do_xmem_word(dmax, dmdx, dmtx & DMT_DAS);