27 guest_configure_timer_action(struct test_vcpu_shared_data *shared_data)  in guest_configure_timer_action()  argument
29 	switch (shared_data->guest_stage) {  in guest_configure_timer_action()
32 		shared_data->xcnt = timer_get_cntct(VIRTUAL);  in guest_configure_timer_action()
37 		shared_data->xcnt = timer_get_cntct(VIRTUAL);  in guest_configure_timer_action()
42 		shared_data->xcnt = timer_get_cntct(PHYSICAL);  in guest_configure_timer_action()
47 		shared_data->xcnt = timer_get_cntct(PHYSICAL);  in guest_configure_timer_action()
56 				struct test_vcpu_shared_data *shared_data)  in guest_validate_irq()  argument
58 	enum guest_stage stage = shared_data->guest_stage;  in guest_validate_irq()
91 	xcnt_diff_us = cycles_to_usec(xcnt - shared_data->xcnt);  in guest_validate_irq()
102 	WRITE_ONCE(shared_data->nr_iter, shared_data->nr_iter + 1);  in guest_validate_irq()
109 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[cpu];  in guest_irq_handler()  local
111 	guest_validate_irq(intid, shared_data);  in guest_irq_handler()
116 static void guest_run_stage(struct test_vcpu_shared_data *shared_data,  in guest_run_stage()  argument
121 	shared_data->guest_stage = stage;  in guest_run_stage()
122 	shared_data->nr_iter = 0;  in guest_run_stage()
126 		guest_configure_timer_action(shared_data);  in guest_run_stage()
132 		irq_iter = READ_ONCE(shared_data->nr_iter);  in guest_run_stage()
144 	struct test_vcpu_shared_data *shared_data = &vcpu_shared_data[cpu];  in guest_code()  local
157 	guest_run_stage(shared_data, GUEST_STAGE_VTIMER_CVAL);  in guest_code()
158 	guest_run_stage(shared_data, GUEST_STAGE_VTIMER_TVAL);  in guest_code()
159 	guest_run_stage(shared_data, GUEST_STAGE_PTIMER_CVAL);  in guest_code()
160 	guest_run_stage(shared_data, GUEST_STAGE_PTIMER_TVAL);  in guest_code()