Searched refs:vmcs02_num (Results 1 – 1 of 1) sorted by relevance
409 int vmcs02_num; member6406 if (vmx->nested.vmcs02_num >= max(VMCS02_POOL_SIZE, 1)) { in nested_get_current_vmcs02()6427 vmx->nested.vmcs02_num++; in nested_get_current_vmcs02()6440 vmx->nested.vmcs02_num--; in nested_free_vmcs02()6466 vmx->nested.vmcs02_num--; in nested_free_all_saved_vmcss()6790 vmx->nested.vmcs02_num = 0; in handle_vmon()