Searched refs:vmcs02_num (Results 1 – 1 of 1) sorted by relevance
405 int vmcs02_num; member6311 if (vmx->nested.vmcs02_num >= max(VMCS02_POOL_SIZE, 1)) { in nested_get_current_vmcs02()6332 vmx->nested.vmcs02_num++; in nested_get_current_vmcs02()6345 vmx->nested.vmcs02_num--; in nested_free_vmcs02()6371 vmx->nested.vmcs02_num--; in nested_free_all_saved_vmcss()6650 vmx->nested.vmcs02_num = 0; in handle_vmon()