#include <Library/HobLib.h> // GetFirstGuidHob()\r
#include <Pi/PiHob.h> // EFI_HOB_GUID_TYPE\r
\r
-#include "SmbiosPlatformDxe.h"\r
+#include "XenSmbiosPlatformDxe.h"\r
\r
#define XEN_SMBIOS_PHYSICAL_ADDRESS 0x000EB000\r
#define XEN_SMBIOS_PHYSICAL_END 0x000F0000\r