Log Message:
   Don't silently truncate the voff_t offset to vaddr_t when passing it to
   udv_attach. Pass the whole voff_t instead and do an explicite overflow
   check before it is passed to the device's mmap handler (as "int", sadly).

argh. this mmap/int thing needs to die.