Lines Matching refs:have

1449 …// L0-L2 table and non-compressed L3 block entries should always have bit 1 set; assumes L0-L2 blo…
1472 	T_ASSERT_TRUE(seen_page_table_snapshot, "check that we have seen a page table snapshot");
1473 	T_ASSERT_TRUE(seen_asid, "check that we have seen an ASID");
1844 T_DECL(special_reply_port, "test that tasks using special reply ports have correct waitinfo")
2245 	T_ASSERT_TRUE(seen_thread_group_snapshot, "check that we have seen a thread group snapshot");
2625 …				T_FAIL("post-exec child %llu shouldn't have a delta task snapshot", postexec_child_unique_pid);
2669 					 * we get here, then we have found the shared cache UUID
2688 …region_flags, (uint64_t)kTaskSharedRegionNone, "Kernel proc (pid 0) should have no shared region");
2697 …T_QUIET; T_EXPECT_NOTNULL(sharedregion_info, "kTaskSharedRegionOther should have a shared_cache_dy…
2698 …			T_QUIET; T_EXPECT_NOTNULL(sharedcache_id, "kTaskSharedRegionOther should have a sharedCacheID");
2703 …T_QUIET; T_EXPECT_NULL(sharedregion_info, "non-kTaskSharedRegionOther should have no shared_cache_…
2704 …	T_QUIET; T_EXPECT_NULL(sharedcache_id, "non-kTaskSharedRegionOther should have no sharedCacheID");
2809 			T_QUIET; T_ASSERT_NOTNULL(task_cpu_architecture[@"cputype"], "have cputype");
2810 			T_QUIET; T_ASSERT_NOTNULL(task_cpu_architecture[@"cpusubtype"], "have cputype");
2909 			 * check_shared_cache_uuid() asserts on failure, so we must have
2922 …cache_child_flags, (uint64_t)kTaskSharedRegionNone, "sharedcache child should have shared region");
2923 …dcache_self_flags, (uint64_t)kTaskSharedRegionNone, "sharedcache: self should have shared region");
2925 …/* If we're in the system shared region, and the child has a different address, child must have an…
2927 				    "sharedcache child should have Other shared region");