vmx_basic_vmcs_size
if (vmx_basic_vmcs_size(vmx_basic) > vmx_basic_vmcs_size(data))
if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE)
memset(vmcs, 0, vmx_basic_vmcs_size(vmcs_config.basic));