1 /* SPDX-License-Identifier: GPL-2.0 */
2 /******************************************************************************
5 * Query the features reported by Xen.
7 * Copyright (c) 2006, Ian Campbell
10 #ifndef __XEN_FEATURES_H__
11 #define __XEN_FEATURES_H__
13 #include <xen/interface/features.h>
15 void xen_setup_features(void);
17 extern u8 xen_features
[XENFEAT_NR_SUBMAPS
* 32];
19 static inline int xen_feature(int flag
)
21 return xen_features
[flag
];
24 #endif /* __ASM_XEN_FEATURES_H__ */