I'm writing the Xylogics 450 driver, and I think I've got most
everything figured out except for one thing:

Given that I have called dvma_vm_alloc() to allocate space in
the DVMA area for the controller to DMA into, and given a
page in kernel space pointed to by a bp, what's necessary
for me to map the data page into the DVMA space?

pagemove() looks interesting, but it claims to work only if
both addresses are in the kernel map.