Symbol: vmx_basic_vmcs_size
arch/x86/kvm/vmx/nested.c
1324
if (vmx_basic_vmcs_size(vmx_basic) > vmx_basic_vmcs_size(data))
arch/x86/kvm/vmx/vmx.c
2885
if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE)
arch/x86/kvm/vmx/vmx.c
3066
memset(vmcs, 0, vmx_basic_vmcs_size(vmcs_config.basic));