Searched refs:gEfiCurrentTpl (Results 1 - 4 of 4) sorted by relevance

/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/Event/
H A DTpl.c67 OldTpl = gEfiCurrentTpl;
81 gEfiCurrentTpl = NewTpl;
104 OldTpl = gEfiCurrentTpl;
114 gEfiCurrentTpl = TPL_HIGH_LEVEL;
121 gEfiCurrentTpl = (UINTN) HighBitSet64 (gEventPending);
122 if (gEfiCurrentTpl < TPL_HIGH_LEVEL) {
125 CoreDispatchEventNotifies (gEfiCurrentTpl);
132 gEfiCurrentTpl = NewTpl;
138 if (gEfiCurrentTpl < TPL_HIGH_LEVEL) {
H A DEvent.c20 /// gEfiCurrentTpl - Current Task priority level
22 EFI_TPL gEfiCurrentTpl = TPL_APPLICATION; variable
672 if (gEfiCurrentTpl != TPL_APPLICATION) {
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/Image/
H A DImage.c169 Image->Tpl = gEfiCurrentTpl;
1050 ASSERT (gEfiCurrentTpl < TPL_NOTIFY);
1523 Image->Tpl = gEfiCurrentTpl;
1569 ASSERT (Image->Tpl == gEfiCurrentTpl);
/vbox/src/VBox/Devices/EFI/Firmware/MdeModulePkg/Core/Dxe/
H A DDxeMain.h208 extern EFI_TPL gEfiCurrentTpl;

Completed in 62 milliseconds