sysadmin/ipxe
1
0
Fork 0
mirror of https://github.com/ipxe/ipxe synced 2026-04-16 03:00:10 +03:00
Code Issues Packages Projects Releases Wiki Activity

[gdb] Add support for x86_64

Browse Source 
Signed-off-by: Michael Brown <mcb30@ipxe.org>
This commit is contained in:
Michael Brown
2016-03-20 12:00:15 +00:00
parent 1afcccd5fd
commit 311a5732c8
8 changed files with 477 additions and 225 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/arch/x86_64/include/gdbmach.h
+38 -11
View File
@@ -14,16 +14,37 @@
typedef unsigned long gdbreg_t;
/* The register snapshot, this must be in sync with interrupt handler and the
* GDB protocol. */
/* Register snapshot */
enum {
// STUB: don't expect this to work!
GDBMACH_EIP,
GDBMACH_EFLAGS,
GDBMACH_RAX,
GDBMACH_RBX,
GDBMACH_RCX,
GDBMACH_RDX,
GDBMACH_RSI,
GDBMACH_RDI,
GDBMACH_RBP,
GDBMACH_RSP,
GDBMACH_R8,
GDBMACH_R9,
GDBMACH_R10,
GDBMACH_R11,
GDBMACH_R12,
GDBMACH_R13,
GDBMACH_R14,
GDBMACH_R15,
GDBMACH_RIP,
GDBMACH_RFLAGS,
GDBMACH_CS,
GDBMACH_SS,
GDBMACH_DS,
GDBMACH_ES,
GDBMACH_FS,
GDBMACH_GS,
GDBMACH_NREGS,
GDBMACH_SIZEOF_REGS = GDBMACH_NREGS * sizeof ( gdbreg_t )
};
#define GDBMACH_SIZEOF_REGS ( GDBMACH_NREGS * sizeof ( gdbreg_t ) )
/* Breakpoint types */
enum {
GDBMACH_BPMEM,
@@ -33,21 +54,27 @@ enum {
GDBMACH_AWATCH,
};
/* Exception vectors */
extern void gdbmach_sigfpe ( void );
extern void gdbmach_sigtrap ( void );
extern void gdbmach_sigstkflt ( void );
extern void gdbmach_sigill ( void );
static inline void gdbmach_set_pc ( gdbreg_t *regs, gdbreg_t pc ) {
regs [ GDBMACH_EIP ] = pc;
regs[GDBMACH_RIP] = pc;
}
static inline void gdbmach_set_single_step ( gdbreg_t *regs, int step ) {
regs [ GDBMACH_EFLAGS ] &= ~( 1 << 8 ); /* Trace Flag (TF) */
regs [ GDBMACH_EFLAGS ] |= ( step << 8 );
regs[GDBMACH_RFLAGS] &= ~( 1 << 8 ); /* Trace Flag (TF) */
regs[GDBMACH_RFLAGS] |= ( step << 8 );
}
static inline void gdbmach_breakpoint ( void ) {
__asm__ __volatile__ ( "int $3\n" );
}
extern int gdbmach_set_breakpoint ( int type, unsigned long addr, size_t len, int enable );
extern int gdbmach_set_breakpoint ( int type, unsigned long addr, size_t len,
int enable );
extern void gdbmach_init ( void );
#endif /* GDBMACH_H */