ProcessorBind.h

Go to the documentation of this file.

00001 /*
00002  * EFI header files rely on having the CPU architecture directory
00003  * present in the search path in order to pick up ProcessorBind.h.  We
00004  * use this header file as a quick indirection layer.
00005  *  - mcb30
00006  */
00007 
00008 #if __i386__
00009 #include <gpxe/efi/Ia32/ProcessorBind.h>
00010 #endif
00011 
00012 #if __x86_64__
00013 #include <gpxe/efi/X64/ProcessorBind.h>
00014 #endif