Commit 34ed82c6 authored by Kirill Smelkov's avatar Kirill Smelkov

bigfile/virtmem: vma_page_addr: Kill wrong XXX

It is valid to compare a Page and a VMA only if they belong to the same
parent d53a480f
......@@ -906,7 +906,7 @@ static void page_del(Page *page) {
static void *vma_page_addr(VMA *vma, Page *page)
uintptr_t addr;
ASSERT(vma->fileh == page->fileh); // XXX needed here?
ASSERT(vma->fileh == page->fileh);
addr = vma->addr_start + (page->f_pgoffset - vma->f_pgoffset) * page_size(page);
ASSERT(vma->addr_start <= addr &&
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment