FileDesc should include size of file contents included in region
lunixbochs opened this issue · comments
On POSIX mmap, the page size will round up but pad the remainder of the mapped file area with zeroes.
This should be in FileDesc and the trace format in addition to filename and offset.
fixed