NestedInterruptTplLib.h

Go to the documentation of this file.

 
#ifndef __NESTED_INTERRUPT_TPL_LIB__
#define __NESTED_INTERRUPT_TPL_LIB__
 
#include <Uefi/UefiBaseType.h>
#include <Uefi/UefiSpec.h>
#include <Protocol/DebugSupport.h>
 
typedef struct {
  EFI_TPL    InProgressRestoreTPL;
  BOOLEAN    DeferredRestoreTPL;
} NESTED_INTERRUPT_STATE;
 
EFI_TPL
EFIAPI
NestedInterruptRaiseTPL (
  VOID
  );
 
VOID
EFIAPI
NestedInterruptRestoreTPL (
  IN EFI_TPL                     InterruptedTPL,
  IN OUT EFI_SYSTEM_CONTEXT      SystemContext,
  IN OUT NESTED_INTERRUPT_STATE  *IsrState
  );
 
#endif // __NESTED_INTERRUPT_TPL_LIB__