/* This function detect if OVMF have started via the PVH entry point. */
BOOLEAN EFIAPI XenPvhDetected(VOID)
/* This function detect if OVMF have started via the PVH entry point. */
BOOLEAN EFIAPI XenPvhDetected(VOID)
{
  EFI_XEN_INFO  *XenInfo;
  XenInfo = XenGetInfoHOB ();
  return (XenInfo != NULL && XenInfo->RsdpPvh != NULL);
}