Re: vm_read() implementation details