580 	struct kvm_xen_vcpu_attr tmr = {  in main()  local
610 		vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
795 				memset(&tmr, 0, sizeof(tmr));  in main()
796 				tmr.type = KVM_XEN_VCPU_ATTR_TYPE_TIMER;  in main()
797 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
798 				TEST_ASSERT(tmr.u.timer.port == EVTCHN_TIMER,  in main()
800 				TEST_ASSERT(tmr.u.timer.priority == KVM_IRQ_ROUTING_XEN_EVTCHN_PRIO_2LEVEL,  in main()
802 				TEST_ASSERT(tmr.u.timer.expires_ns > rs->state_entry_time,  in main()
816 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
817 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
843 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
844 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
854 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
855 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
858 				tmr.u.timer.expires_ns = 0;  in main()
859 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
860 				TEST_ASSERT(tmr.u.timer.expires_ns == rs->state_entry_time + 100000000,  in main()
869 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
870 				TEST_ASSERT(!tmr.u.timer.expires_ns, "Timer still reported pending");  in main()
877 				tmr.u.timer.expires_ns = rs->state_entry_time - 100000000ULL;  in main()
878 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
914 				tmr.u.timer.expires_ns = rs->state_entry_time +  in main()
916 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
927 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
930 				if (tmr.u.timer.expires_ns)  in main()
937 				tmr.u.timer.expires_ns = rs->state_entry_time +  in main()
939 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()