590 	struct kvm_xen_vcpu_attr tmr = {  in main()  local
620 		vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
805 				memset(&tmr, 0, sizeof(tmr));  in main()
806 				tmr.type = KVM_XEN_VCPU_ATTR_TYPE_TIMER;  in main()
807 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
808 				TEST_ASSERT(tmr.u.timer.port == EVTCHN_TIMER,  in main()
810 				TEST_ASSERT(tmr.u.timer.priority == KVM_IRQ_ROUTING_XEN_EVTCHN_PRIO_2LEVEL,  in main()
812 				TEST_ASSERT(tmr.u.timer.expires_ns > rs->state_entry_time,  in main()
826 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
827 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
853 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
854 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
864 				tmr.u.timer.expires_ns = rs->state_entry_time + 100000000;  in main()
865 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
868 				tmr.u.timer.expires_ns = 0;  in main()
869 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
870 				TEST_ASSERT(tmr.u.timer.expires_ns == rs->state_entry_time + 100000000,  in main()
889 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
890 				TEST_ASSERT(!tmr.u.timer.expires_ns, "Timer still reported pending");  in main()
897 				tmr.u.timer.expires_ns = rs->state_entry_time - 100000000ULL;  in main()
898 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
934 				tmr.u.timer.expires_ns = rs->state_entry_time +  in main()
936 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()
947 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_GET_ATTR, &tmr);  in main()
950 				if (tmr.u.timer.expires_ns)  in main()
957 				tmr.u.timer.expires_ns = rs->state_entry_time +  in main()
959 				vcpu_ioctl(vcpu, KVM_XEN_VCPU_SET_ATTR, &tmr);  in main()