EbcSimpleDebugger.h

Go to the documentation of this file.

 
#ifndef _EBC_SIMPLE_DEBUGGER_PROTOCOL_H_
#define _EBC_SIMPLE_DEBUGGER_PROTOCOL_H_
 
#include <Protocol/DebugSupport.h>
#include <Protocol/EbcVmTest.h>
 
#define EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL_GUID \
  { \
    0x2a72d11e, 0x7376, 0x40f6, { 0x9c, 0x68, 0x23, 0xfa, 0x2f, 0xe3, 0x63, 0xf1 } \
  }
 
//
// Defines for a simple EBC debugger interface
//
typedef struct _EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL;
 
typedef
EFI_STATUS
(EFIAPI *EBC_DEBUGGER_SIGNAL_EXCEPTION)(
  IN EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL           *This,
  IN VM_CONTEXT                                 *VmPtr,
  IN EFI_EXCEPTION_TYPE                         ExceptionType
  );
 
typedef
VOID
(EFIAPI *EBC_DEBUGGER_DEBUG)(
  IN EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL           *This,
  IN VM_CONTEXT                                 *VmPtr
  );
 
typedef
UINT32
(EFIAPI *EBC_DEBUGGER_DASM)(
  IN EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL           *This,
  IN VM_CONTEXT                                 *VmPtr,
  IN UINT16                                     *DasmString OPTIONAL,
  IN UINT32                                     DasmStringSize
  );
 
typedef
EFI_STATUS
(EFIAPI *EBC_DEBUGGER_CONFIGURE)(
  IN EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL           *This,
  IN UINT32                                     ConfigId,
  IN UINTN                                      ConfigValue
  );
 
//
// Prototype for the actual EBC debug support protocol interface
//
struct _EFI_EBC_SIMPLE_DEBUGGER_PROTOCOL {
  EBC_DEBUGGER_DEBUG               Debugger;
  EBC_DEBUGGER_SIGNAL_EXCEPTION    SignalException;
  EBC_DEBUGGER_DASM                Dasm;
  EBC_DEBUGGER_CONFIGURE           Configure;
};
 
extern EFI_GUID  gEfiEbcSimpleDebuggerProtocolGuid;
 
#endif