|
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 81 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 83 of file efi.h.
Referenced by efi_raise_tpl(), and efi_restore_tpl().
1.8.15