Lines Matching refs:VMCS12_SIZE
675 memcpy(shadow, map.hva, VMCS12_SIZE); in nested_cache_shadow_vmcs12()
689 get_shadow_vmcs12(vcpu), VMCS12_SIZE); in nested_flush_cached_shadow_vmcs12()
4757 vmx->nested.cached_vmcs12 = kzalloc(VMCS12_SIZE, GFP_KERNEL_ACCOUNT); in enter_vmx_operation()
4761 vmx->nested.cached_shadow_vmcs12 = kzalloc(VMCS12_SIZE, GFP_KERNEL_ACCOUNT); in enter_vmx_operation()
4889 vmx->nested.cached_vmcs12, 0, VMCS12_SIZE); in nested_release_vmcs12()
5225 memcpy(vmx->nested.cached_vmcs12, new_vmcs12, VMCS12_SIZE); in handle_vmptrld()
6059 BUILD_BUG_ON(sizeof(user_vmx_nested_state->vmcs12) < VMCS12_SIZE); in vmx_get_nested_state()
6060 BUILD_BUG_ON(sizeof(user_vmx_nested_state->shadow_vmcs12) < VMCS12_SIZE); in vmx_get_nested_state()
6066 if (copy_to_user(user_vmx_nested_state->vmcs12, vmcs12, VMCS12_SIZE)) in vmx_get_nested_state()
6072 get_shadow_vmcs12(vcpu), VMCS12_SIZE)) in vmx_get_nested_state()
6498 ((u64)VMCS12_SIZE << VMX_BASIC_VMCS_SIZE_SHIFT) | in nested_vmx_setup_ctls_msrs()