34 int test_memcmp(const void *s1, const void *s2, size_t n);
37 static void test_one(char *s1, char *s2, unsigned long max_offset,  in test_one()  argument
47 			y = memcmp(s1+offset, s2+offset, size);  in test_one()
48 			x = test_memcmp(s1+offset, s2+offset, size);  in test_one()
59 					printf("%02x ", s2[i]);  in test_one()
65 				printf("vmx enter/exit not paired.(offset:%ld size:%ld s1:%p s2:%p vc:%d\n",  in test_one()
66 					offset, size, s1, s2, vmx_count);  in test_one()
77 	char *p, *s1, *s2;  in testcase()  local
88 	/* Put s1/s2 at the end of a page */  in testcase()
90 	s2 = p + 3 * MAP_SIZE - alloc_size;  in testcase()
102 		char *rand_s2 = s2;  in testcase()
128 		char *rand_s2 = s2;  in testcase()
140 			s2[change] = random() & 0xff;  in testcase()