/* * 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 <ipxe/efi/Ia32/ProcessorBind.h>#endif#if __x86_64__#include <ipxe/efi/X64/ProcessorBind.h>#endif