TianoCore EDK2 master
|
#include <Base.h>
#include <PiDxe.h>
#include <Library/BaseLib.h>
#include <Library/DebugLib.h>
#include <Library/DxeServicesTableLib.h>
#include <Library/IoLib.h>
#include <Library/ResetSystemLib.h>
#include <Library/TimerLib.h>
#include <Library/UefiRuntimeLib.h>
#include <OvmfPlatforms.h>
Go to the source code of this file.
Functions | |
EFI_STATUS EFIAPI | DxeResetSystemLibMicrovmConstructor (IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable) |
Reset System Library functions for OVMF
Copyright (c) 2006 - 2019, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent
Definition in file DxeResetSystemLibMicrovm.c.
EFI_STATUS EFIAPI DxeResetSystemLibMicrovmConstructor | ( | IN EFI_HANDLE | ImageHandle, |
IN EFI_SYSTEM_TABLE * | SystemTable | ||
) |
Definition at line 23 of file DxeResetSystemLibMicrovm.c.