pub fn read_device(dev_va: u64, len: usize, stream: u64) -> Result<Vec<u8>>
2026-09-25: Copy len bytes from a device address into a new Vec, then sync the stream.
len