dmat_highaddr
if (paddr > dmat_lowaddr(dmat) && paddr <= dmat_highaddr(dmat))
(uintmax_t)dmat_highaddr(dmat)));