Appendix: GUID Definitions

DXE Services Table GUID

#define DXE_SERVICES_TABLE_GUID \
   {0x5ad34ba,0x6f02,0x4214,0x95,0x2e,0x4d,0xa0,0x39,0x8e,0x2b,0xb9}

The DXE Services Table shall be stored in memory of type EfiBootServicesData.

HOB List GUID

#define HOB_LIST_GUID {0x7739f24c,0x93d7,0x11d4,0x9a,0x3a,0x0,0x90,0x27,0x3f,0xc1,0x4d}

The HOB List Table shall be stored in memory of type EfiBootServicesData