Home
last modified time | relevance | path

Searched refs:val32 (Results 1 – 1 of 1) sorted by relevance

/hypervisor/arch/x86/guest/
A Dnested.c1073 uint32_t val32; in enable_vmcs_shadowing() local
1084 val32 = exec_vmread(VMX_PROC_VM_EXEC_CONTROLS2); in enable_vmcs_shadowing()
1085 val32 |= VMX_PROCBASED_CTLS2_VMCS_SHADW; in enable_vmcs_shadowing()
1086 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS2, val32); in enable_vmcs_shadowing()
1098 uint32_t val32; in disable_vmcs_shadowing() local
1101 val32 = exec_vmread(VMX_PROC_VM_EXEC_CONTROLS2); in disable_vmcs_shadowing()
1102 val32 &= ~VMX_PROCBASED_CTLS2_VMCS_SHADW; in disable_vmcs_shadowing()
1103 exec_vmwrite32(VMX_PROC_VM_EXEC_CONTROLS2, val32); in disable_vmcs_shadowing()

Completed in 5 milliseconds