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