pub fn read_device(dev_va: u64, len: usize, stream: u64) -> Result<Vec<u8>>
Copy len bytes from a device VA to a fresh host Vec (test/verify helper).
len
Vec