198 static void set_xval_irq(enum arch_timer timer, uint64_t xval, uint32_t ctl,  in set_xval_irq()  argument
203 		set_cval_irq(timer, xval, ctl);  in set_xval_irq()
206 		set_tval_irq(timer, xval, ctl);  in set_xval_irq()
323 static void test_timer_xval(enum arch_timer timer, uint64_t xval,  in test_timer_xval()  argument
332 	set_xval_irq(timer, xval, CTL_ENABLE, tv);  in test_timer_xval()
365 static void test_xval_check_no_irq(enum arch_timer timer, uint64_t xval,  in test_xval_check_no_irq()  argument
371 	set_xval_irq(timer, xval, CTL_ENABLE | CTL_IMASK, timer_view);  in test_xval_check_no_irq()
641 				    uint64_t xval, uint64_t cnt_2,  in test_set_cnt_after_xval()  argument
649 	set_xval_irq(timer, xval, CTL_ENABLE, tv);  in test_set_cnt_after_xval()
664 					   uint64_t cnt_1, uint64_t xval,  in test_set_cnt_after_xval_no_irq()  argument
674 	set_xval_irq(timer, xval, CTL_ENABLE, tv);  in test_set_cnt_after_xval_no_irq()