94 guest_configure_timer_action(struct test_vcpu_shared_data *shared_data)  in guest_configure_timer_action()  argument
96 	switch (shared_data->guest_stage) {  in guest_configure_timer_action()
99 		shared_data->xcnt = timer_get_cntct(VIRTUAL);  in guest_configure_timer_action()
104 		shared_data->xcnt = timer_get_cntct(VIRTUAL);  in guest_configure_timer_action()
109 		shared_data->xcnt = timer_get_cntct(PHYSICAL);  in guest_configure_timer_action()
114 		shared_data->xcnt = timer_get_cntct(PHYSICAL);  in guest_configure_timer_action()
123 				struct test_vcpu_shared_data *shared_data)  in guest_validate_irq()  argument
125 	enum guest_stage stage = shared_data->guest_stage;  in guest_validate_irq()
148 	xcnt_diff_us = cycles_to_usec(xcnt - shared_data->xcnt);  in guest_validate_irq()
162 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[cpu];  in guest_irq_handler()  local
164 	guest_validate_irq(intid, shared_data);  in guest_irq_handler()
166 	WRITE_ONCE(shared_data->nr_iter, shared_data->nr_iter + 1);  in guest_irq_handler()
171 static void guest_run_stage(struct test_vcpu_shared_data *shared_data,  in guest_run_stage()  argument
176 	shared_data->guest_stage = stage;  in guest_run_stage()
177 	shared_data->nr_iter = 0;  in guest_run_stage()
181 		guest_configure_timer_action(shared_data);  in guest_run_stage()
187 		irq_iter = READ_ONCE(shared_data->nr_iter);  in guest_run_stage()
196 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[cpu];  in guest_code()  local
210 	guest_run_stage(shared_data, GUEST_STAGE_VTIMER_CVAL);  in guest_code()
211 	guest_run_stage(shared_data, GUEST_STAGE_VTIMER_TVAL);  in guest_code()
212 	guest_run_stage(shared_data, GUEST_STAGE_PTIMER_CVAL);  in guest_code()
213 	guest_run_stage(shared_data, GUEST_STAGE_PTIMER_TVAL);  in guest_code()
224 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[vcpuid];  in test_vcpu_run()  local
238 		sync_global_from_guest(vm, *shared_data);  in test_vcpu_run()
242 			shared_data->guest_stage, shared_data->nr_iter);  in test_vcpu_run()