/* This function detects if OVMF is running on Xen. */
BOOLEAN EFIAPI XenDetected(VOID)
/* This function detects if OVMF is running on Xen. */
BOOLEAN EFIAPI XenDetected(VOID)
{
  return (XenGetInfoHOB () != NULL);
}