1 /* 2 * EFI header files rely on having the CPU architecture directory 3 * present in the search path in order to pick up ProcessorBind.h. We 4 * use this header file as a quick indirection layer. 5 * - mcb30 6 */ 7 8 #if __i386__ 9 #include <gpxe/efi/Ia32/ProcessorBind.h> 10 #endif 11 12 #if __x86_64__ 13 #include <gpxe/efi/X64/ProcessorBind.h> 14 #endif 15