audk/OvmfPkg/Library/NestedInterruptTplLib/NestedInterruptTplLib.inf

36 lines
814 B
INI

## @file
# Handle raising and lowering TPL from within nested interrupt handlers.
#
# Allows interrupt handlers to safely raise and lower the TPL to
# dispatch event notifications, correctly allowing for nested
# interrupts to occur without risking stack exhaustion.
#
# Copyright (C) 2022, Fen Systems Ltd.
#
# SPDX-License-Identifier: BSD-2-Clause-Patent
##
[Defines]
INF_VERSION = 1.29
BASE_NAME = NestedInterruptTplLib
FILE_GUID = 8df39823-2f9e-4ef2-b971-243b44c32c67
MODULE_TYPE = DXE_DRIVER
VERSION_STRING = 1.0
LIBRARY_CLASS = NestedInterruptTplLib|DXE_DRIVER
[Sources]
Tpl.c
Iret.c
[Packages]
MdePkg/MdePkg.dec
OvmfPkg/OvmfPkg.dec
[LibraryClasses]
BaseLib
DebugLib
UefiBootServicesTableLib
[Depex.common.DXE_DRIVER]
TRUE