2 # Driver for the XenIo protocol
4 # Copyright (c) 2019, Citrix Systems, Inc.
6 # SPDX-License-Identifier: BSD-2-Clause-Patent
11 INF_VERSION = 0x00010005
12 BASE_NAME = XenIoPvhDxe
13 FILE_GUID = 7a567cc4-0e75-4d7a-a305-c3db109b53ad
14 MODULE_TYPE = DXE_DRIVER
16 ENTRY_POINT = InitializeXenIoPvhDxe
33 gUefiOvmfPkgTokenSpaceGuid.PcdXenGrantFrames