Comment 8 for bug 1678676

Revision history for this message
Tyler Hicks (tyhicks) wrote :

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.