Searched refs:vki_xen_domctl_vcpu_msr_t (Results 1 – 2 of 2) sorted by relevance
462 typedef struct vki_xen_domctl_vcpu_msr vki_xen_domctl_vcpu_msr_t; typedef463 DEFINE_VKI_XEN_GUEST_HANDLE(vki_xen_domctl_vcpu_msr_t);468 VKI_XEN_GUEST_HANDLE_64(vki_xen_domctl_vcpu_msr_t) msrs;
1160 sizeof(vki_xen_domctl_vcpu_msr_t) * in PRE()1957 sizeof(vki_xen_domctl_vcpu_msr_t) * in POST()