/* This function return a pointer to the XenInfo HOB. */
EFI_XEN_INFO* EFIAPI XenGetInfoHOB(VOID)
/* This function return a pointer to the XenInfo HOB. */
EFI_XEN_INFO* EFIAPI XenGetInfoHOB(VOID)
{
  EFI_HOB_GUID_TYPE    *GuidHob;
  STATIC BOOLEAN       Cached = FALSE;
  STATIC EFI_XEN_INFO  *XenInfo;
  if (Cached) {
    return XenInfo;
  }
  GuidHob = GetFirstGuidHob (&gEfiXenInfoGuid);
  if (GuidHob == NULL) {
    XenInfo = NULL;
  } else {
    XenInfo = (EFI_XEN_INFO *)GET_GUID_HOB_DATA (GuidHob);
  }
  Cached = TRUE;
  return XenInfo;
}