Found bugs in vmmap_read/write