1 #ifndef X86_EFIBIND_H
2 #define X86_EFIBIND_H
3 
4 #include <xen/types.h>
5 #include <asm/x86_64/efibind.h>
6 
7 #endif /* X86_EFIBIND_H */
8