iPXE
xen-compat.h
Go to the documentation of this file.
1 /* SPDX-License-Identifier: MIT */
2 /******************************************************************************
3  * xen-compat.h
4  *
5  * Guest OS interface to Xen. Compatibility layer.
6  *
7  * Copyright (c) 2006, Christian Limpach
8  */
9 
10 #ifndef __XEN_PUBLIC_XEN_COMPAT_H__
11 #define __XEN_PUBLIC_XEN_COMPAT_H__
12 
13 FILE_LICENCE ( MIT );
14 FILE_SECBOOT ( PERMITTED );
15 
16 #define __XEN_LATEST_INTERFACE_VERSION__ 0x00041300
17 
18 #if defined(__XEN__) || defined(__XEN_TOOLS__)
19 /* Xen is built with matching headers and implements the latest interface. */
20 #define __XEN_INTERFACE_VERSION__ __XEN_LATEST_INTERFACE_VERSION__
21 #elif !defined(__XEN_INTERFACE_VERSION__)
22 /* Guests which do not specify a version get the legacy interface. */
23 #define __XEN_INTERFACE_VERSION__ 0x00000000
24 #endif
25 
26 #if __XEN_INTERFACE_VERSION__ > __XEN_LATEST_INTERFACE_VERSION__
27 #error "These header files do not support the requested interface version."
28 #endif
29 
30 #define COMPAT_FLEX_ARRAY_DIM XEN_FLEX_ARRAY_DIM
31 
32 #endif /* __XEN_PUBLIC_XEN_COMPAT_H__ */
FILE_LICENCE(MIT)
FILE_SECBOOT(PERMITTED)