Lines Matching refs:should

477 …T_WITH_ERRNO; T_QUIET; T_ASSERT_NE(v, 0l, "getenv(%s) = \"%s\" should be a non-zero hex number", C…
478 …T_QUIET; T_ASSERT_EQ(*endptr, 0, "getenv(%s) = \"%s\" endptr \"%s\" should be empty", CACHEADDR_EN…
550 		T_QUIET; T_ASSERT_EQ(!!WIFSIGNALED(status), 1, "waitpid status should be signalled");
551 		T_QUIET; T_ASSERT_EQ(WTERMSIG(status), SIGKILL, "waitpid status should be SIGKILLed");
962 	// should happen naturally in an optimized build as it is the only
1292 …// L0-L2 table and non-compressed L3 block entries should always have bit 1 set; assumes L0-L2 blo…
1296 						} else { // should be a compressed PTE
1741 	 * receive the message from the client (which should copy the send once right into
2481 							"SlidFirstMapping should match shared_cache_range");
2497 …T_QUIET; T_ASSERT_NE(sharedregion_flags, 0ll, "one of the kTaskSharedRegion flags should be set on…
2499 …			T_QUIET; T_ASSERT_FALSE(multiple, "only one kTaskSharedRegion flag should be set on each task");
2503 …T_ASSERT_EQ(sharedregion_flags, (uint64_t)kTaskSharedRegionNone, "Kernel proc (pid 0) should have …
2512 …T_QUIET; T_ASSERT_NOTNULL(sharedregion_info, "kTaskSharedRegionOther should have a shared_cache_dy…
2586 									    "SRP waitinfo should be marked as a special reply");
2682 			T_EXPECT_FALSE(found_null_kernel_frame, "should not see any NULL kernel frames");
2707 				"SlidFirstMapping should be within 28.5gigs of SlidBaseAddress");
2712 			    "SlidFirstMapping should match shared_cache_range");
2728 …edcache_child_flags, (uint64_t)kTaskSharedRegionNone, "sharedcache child should have shared region…
2729 …redcache_self_flags, (uint64_t)kTaskSharedRegionNone, "sharedcache: self should have shared region…
2733 				    "sharedcache child should have Other shared region");