Searched refs:msr_count (Results 1 – 2 of 2) sorted by relevance
467 vki_uint32_t msr_count; member
1150 __PRE_XEN_DOMCTL_READ(get_vcpu_msrs, vcpu_msrs, msr_count); in PRE()1156 __PRE_XEN_DOMCTL_READ(set_vcpu_msrs, vcpu_msrs, msr_count); in PRE()1161 domctl->u.vcpu_msrs.msr_count); in PRE()1958 domctl->u.vcpu_msrs.msr_count); in POST()