xen_feature
if (xen_feature(XENFEAT_dom0))
if (!xen_have_vector_callback || !xen_feature(XENFEAT_hvm_pirqs))
if (xen_pv_domain() || xen_feature(XENFEAT_hvm_safe_pvclock))
xen_feature(XENFEAT_mmu_pt_update_preserve_ad)
if (xen_feature(XENFEAT_hvm_safe_pvclock))
if (xen_have_vector_callback && xen_feature(XENFEAT_hvm_safe_pvclock))
if (!xen_feature(XENFEAT_writable_page_tables))
if (!xen_feature(XENFEAT_supervisor_mode_kernel))
if (!xen_feature(XENFEAT_hvm_safe_pvclock)) {
else if (xen_feature(XENFEAT_hvm_callback_vector))
if (!xen_feature(f)) \
if (xen_feature(XENFEAT_direct_mapped))
if (!xen_feature(XENFEAT_not_direct_mapped) && xen_initial_domain())