/* SPDX-License-Identifier: GPL-2.0 */ /****************************************************************************** * features.h * * Query the features reported by Xen. * * Copyright (c) 2006, Ian Campbell */ #ifndef __XEN_FEATURES_H__ #define __XEN_FEATURES_H__ #include <xen/interface/features.h> void xen_setup_features(void); extern u8 xen_features[XENFEAT_NR_SUBMAPS * 32]; static inline int xen_feature(int flag) { … } #endif /* __ASM_XEN_FEATURES_H__ */