XenPlatformLib.c

Go to the documentation of this file.

 
#include <PiDxe.h>
#include <Library/HobLib.h>
#include <Library/XenPlatformLib.h>
 
EFI_XEN_INFO *
EFIAPI
XenGetInfoHOB (
  VOID
  )
{
  EFI_HOB_GUID_TYPE    *GuidHob;
  STATIC BOOLEAN       Cached = FALSE;
  STATIC EFI_XEN_INFO  *XenInfo;
 
  //
  // Return the cached result for the benefit of XenDetected that can be
  // called many times.
  //
  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;
}
 
BOOLEAN
EFIAPI
XenDetected (
  VOID
  )
{
  return (XenGetInfoHOB () != NULL);
}
 
BOOLEAN
EFIAPI
XenPvhDetected (
  VOID
  )
{
  EFI_XEN_INFO  *XenInfo;
 
  XenInfo = XenGetInfoHOB ();
  return (XenInfo != NULL && XenInfo->RsdpPvh != NULL);
}