iPXE
xen.h
Go to the documentation of this file.
1#ifndef _BITS_XEN_H
2#define _BITS_XEN_H
3
4/** @file
5 *
6 * Dummy architecture-specific Xen interface
7 *
8 * This file is included only if the architecture does not provide its
9 * own version of this file.
10 *
11 */
12FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );
13FILE_SECBOOT ( PERMITTED );
14
15#include <ipxe/nonxen.h>
16
17#endif /* _BITS_XEN_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
Stub Xen definitions for platforms with no Xen support.