## @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 |