Searched refs:xen_vcpu_time_info_gpa (Results 1 – 3 of 3) sorted by relevance
217 env->xen_vcpu_time_info_gpa = INVALID_GPA; in kvm_xen_init_vcpu()528 env->xen_vcpu_time_info_gpa = data.host_ulong; in do_set_vcpu_time_info_gpa()531 env->xen_vcpu_time_info_gpa); in do_set_vcpu_time_info_gpa()552 env->xen_vcpu_time_info_gpa = INVALID_GPA; in do_vcpu_soft_reset()1828 gpa = env->xen_vcpu_time_info_gpa; in kvm_put_xen_state()
1275 VMSTATE_UINT64(env.xen_vcpu_time_info_gpa, X86CPU),
2016 uint64_t xen_vcpu_time_info_gpa; member