#ifndef _IPXE_EFI_PROCESSOR_BIND_H
#define _IPXE_EFI_PROCESSOR_BIND_H

FILE_LICENCE ( GPL2_OR_LATER_OR_UBDL );

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

#if __arm__
#include <ipxe/efi/Arm/ProcessorBind.h>
#endif

#if __aarch64__
#include <ipxe/efi/AArch64/ProcessorBind.h>
#endif

#endif /* _IPXE_EFI_PROCESSOR_BIND_H */