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