vmx_control_verify
if (CC(!vmx_control_verify(vmcs12->pin_based_vm_exec_control,
CC(!vmx_control_verify(vmcs12->cpu_based_vm_exec_control,
CC(!vmx_control_verify(vmcs12->secondary_vm_exec_control,
if (CC(!vmx_control_verify(vmcs12->vm_exit_controls,
if (CC(!vmx_control_verify(vmcs12->vm_entry_controls,