TianoCore EDK2 master
|
#include <Library/MemoryAllocationLib.h>
#include <Library/PcdLib.h>
#include <Library/XenIoMmioLib.h>
#include <Library/XenPlatformLib.h>
Go to the source code of this file.
Functions | |
EFI_STATUS EFIAPI | InitializeXenIoPvhDxe (IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable) |
Driver for the XenIo protocol
This driver simply allocate space for the grant tables.
Copyright (c) 2019, Citrix Systems, Inc.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file XenIoPvhDxe.c.
EFI_STATUS EFIAPI InitializeXenIoPvhDxe | ( | IN EFI_HANDLE | ImageHandle, |
IN EFI_SYSTEM_TABLE * | SystemTable | ||
) |
Definition at line 20 of file XenIoPvhDxe.c.