#include <Base.h>
#include <IndustryStandard/Xen/sched.h>
#include <Library/BaseLib.h>
#include <Library/DebugLib.h>
#include <Library/IoLib.h>
#include <Library/PcdLib.h>
#include <Library/ResetSystemLib.h>
#include <Library/XenHypercallLib.h>
#include <OvmfPlatforms.h>

Functions
EFI_STATUS EFIAPI	DxeResetInit (IN EFI_HANDLE ImageHandle, IN EFI_SYSTEM_TABLE *SystemTable)

VOID EFIAPI	ResetShutdown (VOID)

Variables
STATIC UINT16	mAcpiPmBaseAddress

Detailed Description

DXE Reset System Library Shutdown API implementation for OVMF.

Copyright (C) 2020, Red Hat, Inc. Copyright (c) 2006 - 2019, Intel Corporation. All rights reserved.
SPDX-License-Identifier: BSD-2-Clause-Patent

Definition in file DxeResetShutdownXen.c.

Function Documentation

◆ DxeResetInit()

EFI_STATUS EFIAPI DxeResetInit	(	IN EFI_HANDLE	ImageHandle,
		IN EFI_SYSTEM_TABLE *	SystemTable
	)

Definition at line 24 of file DxeResetShutdownXen.c.

◆ ResetShutdown()

VOID EFIAPI ResetShutdown ( VOID )

Calling this function causes the system to enter a power state equivalent to the ACPI G2/S5 or G3 states.

System shutdown should not return, if it returns, it means the system does not support shut down reset.

Definition at line 60 of file DxeResetShutdownXen.c.

Variable Documentation

◆ mAcpiPmBaseAddress

STATIC UINT16 mAcpiPmBaseAddress

Definition at line 20 of file DxeResetShutdownXen.c.