goto oom;
}
- *pte = *pte | pa | get_ptattr(hit_region);
+ *pte = pa | get_ptattr(hit_region);
memset((void*)PG_ALIGN(ptr), 0, PG_SIZE);
goto resolved;
}
}
cpu_flush_page((ptr_t)pte);
- *pte = (*pte & 0xFFF) | pa | get_ptattr(hit_region);
+ *pte = pa | get_ptattr(hit_region);
memset((void*)ptr, 0, PG_SIZE);
- int errno = 0;
- if (mseg_off < hit_region->flen) {
- errno = file->ops->read_page(file->inode, (void*)ptr, mfile_off);
- }
+ int errno = file->ops->read_page(file->inode, (void*)ptr, mfile_off);
if (errno < 0) {
ERROR("fail to populate page (%d)", errno);