Searched refs:vmx_basic_vmcs_size (Results 1 – 3 of 3) sorted by relevance
141 static inline u32 vmx_basic_vmcs_size(u64 vmx_basic) in vmx_basic_vmcs_size() function
1289 if (vmx_basic_vmcs_size(vmx_basic) > vmx_basic_vmcs_size(data)) in vmx_restore_vmx_basic()
2737 if (vmx_basic_vmcs_size(basic_msr) > PAGE_SIZE) in setup_vmcs_config()2903 memset(vmcs, 0, vmx_basic_vmcs_size(vmcs_config.basic)); in alloc_vmcs_cpu()