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
14FILE_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__ */
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition compiler.h:896
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
Definition compiler.h:926