62a1d5c0 ^
1 2 3 4 5 6 7 8 9 10 11 12 13
#ifndef _BITS_XEN_H #define _BITS_XEN_H /** @file * * Xen interface * */ FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL ); #include <ipxe/nonxen.h> #endif /* _BITS_XEN_H */