VCPU_REG_SEGMENTS
kvm_register_mark_available(vcpu, VCPU_REG_SEGMENTS);
if (!kvm_register_is_available(&vmx->vcpu, VCPU_REG_SEGMENTS)) {
kvm_register_mark_available(&vmx->vcpu, VCPU_REG_SEGMENTS);
BIT(VCPU_REG_SEGMENTS) | \