VMX_CAP_APICV
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
!vmx_cap_en(vmx, VMX_CAP_APICV) &&
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
avail_caps |= VMX_CAP_APICV;
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {
ASSERT(vmx_cap_en(vmx, VMX_CAP_APICV));
if (vmx_cap_en(vmx, VMX_CAP_APICV)) {