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.