1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
|
## @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
|
