Searched refs:maxvaddr (Results 1 – 1 of 1) sorted by relevance
6640 uint64_t maxvaddr = (uint64_t)&uncompressed_file0_space_bitmap[MAX_OFFSET_PAGES]; in vm_uncompressed_return_space_to_swap() local6641 assertf(vaddr < maxvaddr, "0x%llx 0x%llx", vaddr, maxvaddr); in vm_uncompressed_return_space_to_swap()6688 uint64_t maxvaddr = (uint64_t)&uncompressed_file0_space_bitmap[MAX_OFFSET_PAGES]; in vm_uncompressed_reserve_space_in_swap() local6689 assertf(vaddr < maxvaddr, "0x%llx 0x%llx", vaddr, maxvaddr); in vm_uncompressed_reserve_space_in_swap()