iPXE
|
An EFI saved task priority level. More...
#include <efi.h>
Data Fields | |
EFI_TPL | current |
Current external TPL. More... | |
EFI_TPL | previous |
Previous external TPL. More... | |
EFI_TPL efi_saved_tpl::current |
Current external TPL.
Definition at line 78 of file efi.h.
Referenced by efi_raise_tpl(), and efi_restore_tpl().
EFI_TPL efi_saved_tpl::previous |
Previous external TPL.
Definition at line 80 of file efi.h.
Referenced by efi_raise_tpl(), and efi_restore_tpl().