10#ifndef __XEN_PUBLIC_XEN_COMPAT_H__
11#define __XEN_PUBLIC_XEN_COMPAT_H__
16#define __XEN_LATEST_INTERFACE_VERSION__ 0x00041300
18#if defined(__XEN__) || defined(__XEN_TOOLS__)
20#define __XEN_INTERFACE_VERSION__ __XEN_LATEST_INTERFACE_VERSION__
21#elif !defined(__XEN_INTERFACE_VERSION__)
23#define __XEN_INTERFACE_VERSION__ 0x00000000
26#if __XEN_INTERFACE_VERSION__ > __XEN_LATEST_INTERFACE_VERSION__
27#error "These header files do not support the requested interface version."
30#define COMPAT_FLEX_ARRAY_DIM XEN_FLEX_ARRAY_DIM
#define FILE_LICENCE(_licence)
Declare a particular licence as applying to a file.
#define FILE_SECBOOT(_status)
Declare a file's UEFI Secure Boot permission status.