TianoCore EDK2 master
Loading...
Searching...
No Matches
xen-compat.h
1/******************************************************************************
2 * xen-compat.h
3 *
4 * Guest OS interface to Xen. Compatibility layer.
5 *
6 * SPDX-License-Identifier: MIT
7 *
8 * Copyright (c) 2006, Christian Limpach
9 */
10
11#ifndef __XEN_PUBLIC_XEN_COMPAT_H__
12#define __XEN_PUBLIC_XEN_COMPAT_H__
13
14#define __XEN_LATEST_INTERFACE_VERSION__ 0x00040400
15
16#if defined (__XEN__) || defined (__XEN_TOOLS__)
17/* Xen is built with matching headers and implements the latest interface. */
18#define __XEN_INTERFACE_VERSION__ __XEN_LATEST_INTERFACE_VERSION__
19#elif !defined (__XEN_INTERFACE_VERSION__)
20/* Guests which do not specify a version get the legacy interface. */
21#define __XEN_INTERFACE_VERSION__ 0x00000000
22#endif
23
24#if __XEN_INTERFACE_VERSION__ > __XEN_LATEST_INTERFACE_VERSION__
25 #error "These header files do not support the requested interface version."
26#endif
27
28#endif /* __XEN_PUBLIC_XEN_COMPAT_H__ */