Lines Matching refs:VMCS12_SIZE
720 memcpy(shadow, map.hva, VMCS12_SIZE); in nested_cache_shadow_vmcs12()
734 get_shadow_vmcs12(vcpu), VMCS12_SIZE); in nested_flush_cached_shadow_vmcs12()
4869 vmx->nested.cached_vmcs12 = kzalloc(VMCS12_SIZE, GFP_KERNEL_ACCOUNT); in enter_vmx_operation()
4873 vmx->nested.cached_shadow_vmcs12 = kzalloc(VMCS12_SIZE, GFP_KERNEL_ACCOUNT); in enter_vmx_operation()
4994 vmx->nested.cached_vmcs12, 0, VMCS12_SIZE); in nested_release_vmcs12()
5332 memcpy(vmx->nested.cached_vmcs12, new_vmcs12, VMCS12_SIZE); in handle_vmptrld()
6201 BUILD_BUG_ON(sizeof(user_vmx_nested_state->vmcs12) < VMCS12_SIZE); in vmx_get_nested_state()
6202 BUILD_BUG_ON(sizeof(user_vmx_nested_state->shadow_vmcs12) < VMCS12_SIZE); in vmx_get_nested_state()
6208 if (copy_to_user(user_vmx_nested_state->vmcs12, vmcs12, VMCS12_SIZE)) in vmx_get_nested_state()
6214 get_shadow_vmcs12(vcpu), VMCS12_SIZE)) in vmx_get_nested_state()
6680 ((u64)VMCS12_SIZE << VMX_BASIC_VMCS_SIZE_SHIFT) | in nested_vmx_setup_ctls_msrs()