Type Definition EFI_RESTORE_TPL
uefi_ffi
type EFI_RESTORE_TPL = Option<unsafe extern "C" fn(OldTpl: EFI_TPL)>;