tyler.durden
/
audk
mirror of https://github.com/acidanthera/audk.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

OvmfPkg: Relax assertion that interrupts do not occur at TPL_HIGH_LEVEL 

At TPL_HIGH_LEVEL, CPU interrupts are disabled (as per the UEFI
specification) and so we should never encounter a situation in which
an interrupt occurs at TPL_HIGH_LEVEL.  The specification also
restricts usage of TPL_HIGH_LEVEL to the firmware itself.

However, nothing actually prevents a UEFI application from calling
gBS->RaiseTPL(TPL_HIGH_LEVEL) and then violating the invariant by
enabling interrupts via the STI or equivalent instruction.  Some
versions of the Microsoft Windows bootloader are known to do this.

NestedInterruptTplLib maintains the invariant that interrupts are
disabled at TPL_HIGH_LEVEL (even when performing the dark art of
deliberately manipulating the stack so that IRET will return with
interrupts still disabled), but does not itself rely on external code
maintaining this invariant.

Relax the assertion that the interrupted TPL is below TPL_HIGH_LEVEL
to an error message, to allow UEFI applications such as these versions
of the Microsoft Windows bootloader to continue to function.

Debugged-by: Gerd Hoffmann <kraxel@redhat.com>
Debugged-by: Laszlo Ersek <lersek@redhat.com>
Ref: https://bugzilla.redhat.com/show_bug.cgi?id=2189136
Signed-off-by: Michael Brown <mcb30@ipxe.org>
Acked-by: Laszlo Ersek <lersek@redhat.com>
Reviewed-by: Gerd Hoffmann <kraxel@redhat.com>
This commit is contained in:
Michael Brown 2023-05-09 12:09:33 +00:00 committed by mergify[bot]
parent ae0be176a8
commit bee67e0c14
1 changed files with 18 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
OvmfPkg/Library/NestedInterruptTplLib/Tpl.c
View File

@ -34,12 +34,27 @@ NestedInterruptRaiseTPL (
//
// Raise TPL and assert that we were called from within an interrupt
// handler (i.e. with TPL below TPL_HIGH_LEVEL but with interrupts
// disabled).
// handler (i.e. with interrupts already disabled before raising the
// TPL).
//
ASSERT (GetInterruptState () == FALSE);
InterruptedTPL = gBS->RaiseTPL (TPL_HIGH_LEVEL);
ASSERT (InterruptedTPL < TPL_HIGH_LEVEL);
//
// At TPL_HIGH_LEVEL, CPU interrupts are disabled (as per the UEFI
// specification) and so we should never encounter a situation in
// which InterruptedTPL==TPL_HIGH_LEVEL. The specification also
// restricts usage of TPL_HIGH_LEVEL to the firmware itself.
//
// However, nothing actually prevents a UEFI application from
// invalidly calling gBS->RaiseTPL(TPL_HIGH_LEVEL) and then
// violating the invariant by enabling interrupts via the STI or
// equivalent instruction. Some versions of the Microsoft Windows
// bootloader are known to do this.
//
if (InterruptedTPL >= TPL_HIGH_LEVEL) {
DEBUG ((DEBUG_ERROR, "ERROR: Interrupts enabled at TPL_HIGH_LEVEL!\n"));
}
return InterruptedTPL;
}