sys/uvm/uvm_map.c
2679
UVM_ASSERT(map, iter->end >= iter->start, file, line);
sys/uvm/uvm_map.c
2680
UVM_ASSERT(map, VMMAP_FREE_END(iter) >= iter->end, file, line);
sys/uvm/uvm_map.c
2683
UVM_ASSERT(map, iter->start < VMMAP_FREE_END(iter),
sys/uvm/uvm_map.c
2687
UVM_ASSERT(map, iter->start >= vm_map_min(map) &&
sys/uvm/uvm_map.c
2691
UVM_ASSERT(map, iter->start == addr, file, line);
sys/uvm/uvm_map.c
2703
UVM_ASSERT(map,
sys/uvm/uvm_map.c
2712
UVM_ASSERT(map, (iter->etype & UVM_ET_FREEMAPPED) != 0,
sys/uvm/uvm_map.c
2715
UVM_ASSERT(map, (iter->etype & UVM_ET_FREEMAPPED) == 0,
sys/uvm/uvm_map.c
2719
UVM_ASSERT(map, addr == vm_map_max(map), file, line);
sys/uvm/uvm_map.c
2736
UVM_ASSERT(map, map->size == size, file, line);