nested.c (2b1333b80885b896807ffb6ccf4bc21d29aa65e0) nested.c (bb06650634d3552c0f8557e9d16aa1a408040e28)
1// SPDX-License-Identifier: GPL-2.0
2
3#include <linux/objtool.h>
4#include <linux/percpu.h>
5
6#include <asm/debugreg.h>
7#include <asm/mmu_context.h>
8

--- 3073 unchanged lines hidden (view full) ---

3082
3083 cr4 = cr4_read_shadow();
3084 if (unlikely(cr4 != vmx->loaded_vmcs->host_state.cr4)) {
3085 vmcs_writel(HOST_CR4, cr4);
3086 vmx->loaded_vmcs->host_state.cr4 = cr4;
3087 }
3088
3089 vm_fail = __vmx_vcpu_run(vmx, (unsigned long *)&vcpu->arch.regs,
1// SPDX-License-Identifier: GPL-2.0
2
3#include <linux/objtool.h>
4#include <linux/percpu.h>
5
6#include <asm/debugreg.h>
7#include <asm/mmu_context.h>
8

--- 3073 unchanged lines hidden (view full) ---

3082
3083 cr4 = cr4_read_shadow();
3084 if (unlikely(cr4 != vmx->loaded_vmcs->host_state.cr4)) {
3085 vmcs_writel(HOST_CR4, cr4);
3086 vmx->loaded_vmcs->host_state.cr4 = cr4;
3087 }
3088
3089 vm_fail = __vmx_vcpu_run(vmx, (unsigned long *)&vcpu->arch.regs,
3090 vmx->loaded_vmcs->launched);
3090 __vmx_vcpu_run_flags(vmx));
3091
3092 if (vmx->msr_autoload.host.nr)
3093 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, vmx->msr_autoload.host.nr);
3094 if (vmx->msr_autoload.guest.nr)
3095 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, vmx->msr_autoload.guest.nr);
3096
3097 if (vm_fail) {
3098 u32 error = vmcs_read32(VM_INSTRUCTION_ERROR);

--- 3745 unchanged lines hidden --- 		3091
3092 if (vmx->msr_autoload.host.nr)
3093 vmcs_write32(VM_EXIT_MSR_LOAD_COUNT, vmx->msr_autoload.host.nr);
3094 if (vmx->msr_autoload.guest.nr)
3095 vmcs_write32(VM_ENTRY_MSR_LOAD_COUNT, vmx->msr_autoload.guest.nr);
3096
3097 if (vm_fail) {
3098 u32 error = vmcs_read32(VM_INSTRUCTION_ERROR);

--- 3745 unchanged lines hidden ---