VirtualBox

source: vbox/trunk/src/VBox/Devices/EFI/FirmwareNew/OvmfPkg/Library/NestedInterruptTplLib/NestedInterruptTplLib.inf

Last change on this file was 99404, checked in by vboxsync, 2 years ago

Devices/EFI/FirmwareNew: Update to edk2-stable202302 and make it build, bugref:4643

  • Property svn:eol-style set to native
File size: 779 bytes
Line 
1## @file
2# Handle raising and lowering TPL from within nested interrupt handlers.
3#
4# Allows interrupt handlers to safely raise and lower the TPL to
5# dispatch event notifications, correctly allowing for nested
6# interrupts to occur without risking stack exhaustion.
7#
8# Copyright (C) 2022, Fen Systems Ltd.
9#
10# SPDX-License-Identifier: BSD-2-Clause-Patent
11##
12
13[Defines]
14 INF_VERSION = 1.29
15 BASE_NAME = NestedInterruptTplLib
16 FILE_GUID = 8df39823-2f9e-4ef2-b971-243b44c32c67
17 MODULE_TYPE = DXE_DRIVER
18 VERSION_STRING = 1.0
19 LIBRARY_CLASS = NestedInterruptTplLib|DXE_DRIVER
20
21[Sources]
22 Tpl.c
23 Iret.c
24
25[Packages]
26 MdePkg/MdePkg.dec
27 OvmfPkg/OvmfPkg.dec
28
29[LibraryClasses]
30 BaseLib
31 DebugLib
32 UefiBootServicesTableLib
33
34[Depex.common.DXE_DRIVER]
35 TRUE
Note: See TracBrowser for help on using the repository browser.

© 2025 Oracle Support Privacy / Do Not Sell My Info Terms of Use Trademark Policy Automated Access Etiquette