vm_read() implementation details