VCPU_EXREG_SEGMENTS
kvm_register_mark_available(vcpu, VCPU_EXREG_SEGMENTS);
if (!kvm_register_is_available(&vmx->vcpu, VCPU_EXREG_SEGMENTS)) {
kvm_register_mark_available(&vmx->vcpu, VCPU_EXREG_SEGMENTS);
(1 << VCPU_EXREG_SEGMENTS) | \