iPXE
include
bits
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
*/
12
FILE_LICENCE
( GPL2_OR_LATER_OR_UBDL );
13
FILE_SECBOOT
( PERMITTED );
14
15
#include <
ipxe/nonxen.h
>
16
17
#endif
/* _BITS_XEN_H */
FILE_LICENCE
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
Definition
compiler.h:896
FILE_SECBOOT
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.
Definition
compiler.h:926
nonxen.h
Stub Xen definitions for platforms with no Xen support.
Generated by
1.14.0