/* | |
* EFI header files rely on having the CPU architecture directory | |
* present in the search path in order to pick up ProcessorBind.h. We | |
* use this header file as a quick indirection layer. | |
* - mcb30 | |
*/ | |
#if __i386__ | |
#include <gpxe/efi/Ia32/ProcessorBind.h> | |
#endif | |
#if __x86_64__ | |
#include <gpxe/efi/X64/ProcessorBind.h> | |
#endif |