kvm_register_mark_available
kvm_register_mark_available(vcpu, reg);
kvm_register_mark_available(vcpu, VCPU_EXREG_CR3);
kvm_register_mark_available(vcpu, VCPU_EXREG_RFLAGS);
kvm_register_mark_available(vcpu, VCPU_EXREG_RFLAGS);
kvm_register_mark_available(vcpu, reg);
kvm_register_mark_available(vcpu, VCPU_EXREG_PDPTR);
kvm_register_mark_available(vcpu, VCPU_EXREG_CR0);
kvm_register_mark_available(vcpu, VCPU_EXREG_CR4);
kvm_register_mark_available(vcpu, VCPU_EXREG_SEGMENTS);
kvm_register_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_1);
kvm_register_mark_available(vcpu, VCPU_EXREG_EXIT_INFO_2);
kvm_register_mark_available(&vmx->vcpu, VCPU_EXREG_SEGMENTS);