Searched refs:xen_vcpu_time_info_gpa (Results 1 – 3 of 3) sorted by relevance
222 env->xen_vcpu_time_info_gpa = INVALID_GPA; in kvm_xen_init_vcpu()533 env->xen_vcpu_time_info_gpa = data.host_ulong; in do_set_vcpu_time_info_gpa()536 env->xen_vcpu_time_info_gpa); in do_set_vcpu_time_info_gpa()557 env->xen_vcpu_time_info_gpa = INVALID_GPA; in do_vcpu_soft_reset()1833 gpa = env->xen_vcpu_time_info_gpa; in kvm_put_xen_state()
1275 VMSTATE_UINT64(env.xen_vcpu_time_info_gpa, X86CPU),
1853 uint64_t xen_vcpu_time_info_gpa; member