It looks to me that both variables are updated in lock-step. Also, I see that nested_vmx_failValid() and nested_vmx_check_vmcs12() both only check current_vmptr so perhaps that is sufficient.
It looks to me that both variables are updated in lock-step. Also, I see that nested_ vmx_failValid( ) and nested_ vmx_check_ vmcs12( ) both only check current_vmptr so perhaps that is sufficient.