89 guest_configure_timer_action(struct test_vcpu_shared_data *shared_data)  in guest_configure_timer_action()  argument
91 	switch (shared_data->guest_stage) {  in guest_configure_timer_action()
94 		shared_data->xcnt = timer_get_cntct(VIRTUAL);  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(PHYSICAL);  in guest_configure_timer_action()
109 		shared_data->xcnt = timer_get_cntct(PHYSICAL);  in guest_configure_timer_action()
118 				struct test_vcpu_shared_data *shared_data)  in guest_validate_irq()  argument
120 	enum guest_stage stage = shared_data->guest_stage;  in guest_validate_irq()
143 	xcnt_diff_us = cycles_to_usec(xcnt - shared_data->xcnt);  in guest_validate_irq()
157 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[cpu];  in guest_irq_handler()  local
159 	guest_validate_irq(intid, shared_data);  in guest_irq_handler()
161 	WRITE_ONCE(shared_data->nr_iter, shared_data->nr_iter + 1);  in guest_irq_handler()
166 static void guest_run_stage(struct test_vcpu_shared_data *shared_data,  in guest_run_stage()  argument
171 	shared_data->guest_stage = stage;  in guest_run_stage()
172 	shared_data->nr_iter = 0;  in guest_run_stage()
176 		guest_configure_timer_action(shared_data);  in guest_run_stage()
182 		irq_iter = READ_ONCE(shared_data->nr_iter);  in guest_run_stage()
191 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[cpu];  in guest_code()  local
205 	guest_run_stage(shared_data, GUEST_STAGE_VTIMER_CVAL);  in guest_code()
206 	guest_run_stage(shared_data, GUEST_STAGE_VTIMER_TVAL);  in guest_code()
207 	guest_run_stage(shared_data, GUEST_STAGE_PTIMER_CVAL);  in guest_code()
208 	guest_run_stage(shared_data, GUEST_STAGE_PTIMER_TVAL);  in guest_code()
219 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[vcpu_idx];  in test_vcpu_run()  local
233 		sync_global_from_guest(vm, *shared_data);  in test_vcpu_run()
239 				      shared_data->guest_stage,  in test_vcpu_run()
240 				      shared_data->nr_iter);  in test_vcpu_run()