1 #include <xen/types.h>
2 #include <asm/arm64/efibind.h>
3