Lines Matching refs:Submap
1276 assert(submap_parent->kind == Submap); in checker_get_and_slide_submap_checkers()
1679 .kind = Submap, in make_checker_for_submap()
2084 assert(tmpl->kind != Submap); /* no nested submaps */ in allocate_submap_storage_and_checker()
2361 if (tmpl->kind != Submap) { in create_vm_state()
2390 if (tmpl->kind == Submap) { in create_vm_state()
2518 } else if (tmpl->kind == Submap) { in create_vm_state()
2729 if (tmpl->kind == Submap) { in create_vm_state()
2828 assert(checker->kind == Allocation || checker->kind == Submap); in checker_deallocate_allocation()
2878 if (checker->kind == Allocation || checker->kind == Submap) { in deallocate_vm_allocations()
2934 assert(checker->kind == Allocation || checker->kind == Submap); in verify_allocation()
3192 case Submap: { in verify_vm_state_nested()
3728 (left->kind == Submap && right->kind == Submap); in can_simplify_kind()
3950 case Submap: in checker_list_try_unnest_one_entry_in_submap()