| /* | |
| * 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 |