577 	struct kvm_xen_vcpu_attr tmr = {  in main()  local
607 		vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
792 				memset(&tmr, 0, sizeof(tmr));  in main()
793 				tmr.type = KVM_XEN_VCPU_ATTR_TYPE_TIMER;  in main()
794 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
795 				TEST_ASSERT(tmr.u.timer.port == EVTCHN_TIMER,  in main()
797 				TEST_ASSERT(tmr.u.timer.priority == KVM_IRQ_ROUTING_XEN_EVTCHN_PRIO_2LEVEL,  in main()
799 				TEST_ASSERT(tmr.u.timer.expires_ns > rs->state_entry_time,  in main()
813 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
814 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
840 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
841 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
851 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
852 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
855 				tmr.u.timer.expires_ns = 0;  in main()
856 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
857 				TEST_ASSERT(tmr.u.timer.expires_ns == rs->state_entry_time + 100000000,  in main()
876 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
877 				TEST_ASSERT(!tmr.u.timer.expires_ns, "Timer still reported pending");  in main()
884 				tmr.u.timer.expires_ns = rs->state_entry_time - 100000000ULL;  in main()
885 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
921 				tmr.u.timer.expires_ns = rs->state_entry_time +  in main()
923 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
934 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
937 				if (tmr.u.timer.expires_ns)  in main()
944 				tmr.u.timer.expires_ns = rs->state_entry_time +  in main()
946 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()