Searched refs:ia32_xss (Results 1 – 2 of 2) sorted by relevance
410 u64 ia32_xss; member
2895 msr_info->data = vcpu->arch.ia32_xss; in vmx_get_msr()3057 vcpu->arch.ia32_xss = data; in vmx_set_msr()3058 if (vcpu->arch.ia32_xss != host_xss) in vmx_set_msr()3060 vcpu->arch.ia32_xss, host_xss); in vmx_set_msr()