1 2 3 4 5 6 7 8 9 10 11 12
#if ARCH == aarch64 #undef __386__ #undef __x86_64__ #define __aarch64__ #define CONFIG_ARM_64 #endif #include <xen/types.h> #include <public/xen.h> #include <public/sched.h> #include <public/elfnote.h>