gpxe/src/arch/i386/include/gdbmach.h

   1 #ifndef GDBMACH_H
   2 #define GDBMACH_H
   3
   4 /** @file
   5  *
   6  * GDB architecture specifics
   7  *
   8  * This file declares functions for manipulating the machine state and
   9  * debugging context.
  10  *
  11  */
  12
  13 #include <stdint.h>
  14
  15 typedef unsigned long gdbreg_t;
  16
  17 /* The register snapshot, this must be in sync with interrupt handler and the
  18  * GDB protocol. */
  19 enum {
  20         GDBMACH_EAX,
  21         GDBMACH_ECX,
  22         GDBMACH_EDX,
  23         GDBMACH_EBX,
  24         GDBMACH_ESP,
  25         GDBMACH_EBP,
  26         GDBMACH_ESI,
  27         GDBMACH_EDI,
  28         GDBMACH_EIP,
  29         GDBMACH_EFLAGS,
  30         GDBMACH_CS,
  31         GDBMACH_SS,
  32         GDBMACH_DS,
  33         GDBMACH_ES,
  34         GDBMACH_FS,
  35         GDBMACH_GS,
  36         GDBMACH_NREGS,
  37         GDBMACH_SIZEOF_REGS = GDBMACH_NREGS * sizeof ( gdbreg_t )
  38 };
  39
  40 /* Breakpoint types */
  41 enum {
  42         GDBMACH_BPMEM,
  43         GDBMACH_BPHW,
  44         GDBMACH_WATCH,
  45         GDBMACH_RWATCH,
  46         GDBMACH_AWATCH,
  47 };
  48
  49 static inline void gdbmach_set_pc ( gdbreg_t *regs, gdbreg_t pc ) {
  50         regs [ GDBMACH_EIP ] = pc;
  51 }
  52
  53 static inline void gdbmach_set_single_step ( gdbreg_t *regs, int step ) {
  54         regs [ GDBMACH_EFLAGS ] &= ~( 1 << 8 ); /* Trace Flag (TF) */
  55         regs [ GDBMACH_EFLAGS ] |= ( step << 8 );
  56 }
  57
  58 static inline void gdbmach_breakpoint ( void ) {
  59         __asm__ __volatile__ ( "int $3\n" );
  60 }
  61
  62 extern int gdbmach_set_breakpoint ( int type, unsigned long addr, size_t len, int enable );
  63
  64 #endif /* GDBMACH_H */