vmx_cap_en
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
tpr_shadow_active = vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW) &&
!vmx_cap_en(vmx, VMX_CAP_APICV) &&
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) {
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
if (vmx_cap_en(vmx, VMX_CAP_APICV_PIR)) {
if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) {
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
ASSERT(vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW));
if (vmx_cap_en(vmx, VMX_CAP_APICV_PIR)) {
ASSERT(vmx_cap_en(vmx, VMX_CAP_APICV));
if (vmx_cap_en(vmx, VMX_CAP_TPR_SHADOW)) {
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
if (vmx_cap_en(vmx, VMX_CAP_APICV_PIR)) {