36 static void setup_system_counter(struct kvm_vcpu *vcpu, struct test_case *test)  in setup_system_counter()  argument
39 			     &test->tsc_offset);  in setup_system_counter()
42 static uint64_t guest_read_system_counter(struct test_case *test)  in guest_read_system_counter()  argument
47 static uint64_t host_read_guest_system_counter(struct test_case *test)  in host_read_guest_system_counter()  argument
49 	return rdtsc() + test->tsc_offset;  in host_read_guest_system_counter()
54 #error test not implemented for this architecture!
66 		struct test_case *test = &test_cases[i];  in guest_main()  local
68 		GUEST_SYNC_CLOCK(i, guest_read_system_counter(test));  in guest_main()
96 		struct test_case *test = &test_cases[i];  in enter_guest()  local
98 		setup_system_counter(vcpu, test);  in enter_guest()
99 		start = host_read_guest_system_counter(test);  in enter_guest()
101 		end = host_read_guest_system_counter(test);  in enter_guest()