2005-01-05 20:17:21 +00:00
|
|
|
/*-
|
1993-06-12 14:58:17 +00:00
|
|
|
* Mach Operating System
|
|
|
|
|
* Copyright (c) 1991,1990 Carnegie Mellon University
|
|
|
|
|
* All Rights Reserved.
|
1995-05-30 08:16:23 +00:00
|
|
|
*
|
1993-06-12 14:58:17 +00:00
|
|
|
* Permission to use, copy, modify and distribute this software and its
|
|
|
|
|
* documentation is hereby granted, provided that both the copyright
|
|
|
|
|
* notice and this permission notice appear in all copies of the
|
|
|
|
|
* software, derivative works or modified versions, and any portions
|
|
|
|
|
* thereof, and that both notices appear in supporting documentation.
|
1995-05-30 08:16:23 +00:00
|
|
|
*
|
1993-06-12 14:58:17 +00:00
|
|
|
* CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS "AS IS"
|
|
|
|
|
* CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
|
|
|
|
|
* ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
|
1995-05-30 08:16:23 +00:00
|
|
|
*
|
1993-06-12 14:58:17 +00:00
|
|
|
* Carnegie Mellon requests users of this software to return to
|
1995-05-30 08:16:23 +00:00
|
|
|
*
|
1993-06-12 14:58:17 +00:00
|
|
|
* Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
|
|
|
|
|
* School of Computer Science
|
|
|
|
|
* Carnegie Mellon University
|
|
|
|
|
* Pittsburgh PA 15213-3890
|
1995-05-30 08:16:23 +00:00
|
|
|
*
|
1993-06-12 14:58:17 +00:00
|
|
|
* any improvements or extensions that they make and grant Carnegie Mellon
|
|
|
|
|
* the rights to redistribute these changes.
|
|
|
|
|
*
|
1999-08-28 01:08:13 +00:00
|
|
|
* $FreeBSD$
|
1993-06-12 14:58:17 +00:00
|
|
|
*/
|
|
|
|
|
|
1995-01-14 10:34:52 +00:00
|
|
|
#ifndef _MACHINE_DB_MACHDEP_H_
|
|
|
|
|
#define _MACHINE_DB_MACHDEP_H_
|
1993-06-12 14:58:17 +00:00
|
|
|
|
1995-12-03 10:40:16 +00:00
|
|
|
#include <machine/frame.h>
|
1999-10-04 13:55:35 +00:00
|
|
|
#include <machine/trap.h>
|
1993-06-12 14:58:17 +00:00
|
|
|
|
|
|
|
|
typedef vm_offset_t db_addr_t; /* address - unsigned */
|
2003-05-01 01:05:25 +00:00
|
|
|
typedef long db_expr_t; /* expression - signed */
|
1993-06-12 14:58:17 +00:00
|
|
|
|
2004-07-10 23:47:20 +00:00
|
|
|
#define PC_REGS() ((db_addr_t)kdb_thrctx->pcb_rip)
|
1993-06-12 14:58:17 +00:00
|
|
|
|
|
|
|
|
#define BKPT_INST 0xcc /* breakpoint instruction */
|
|
|
|
|
#define BKPT_SIZE (1) /* size of breakpoint inst */
|
|
|
|
|
#define BKPT_SET(inst) (BKPT_INST)
|
|
|
|
|
|
2004-09-22 01:27:06 +00:00
|
|
|
#define BKPT_SKIP \
|
|
|
|
|
do { \
|
|
|
|
|
kdb_frame->tf_rip += 1; \
|
|
|
|
|
kdb_thrctx->pcb_rip += 1; \
|
|
|
|
|
} while(0)
|
2001-09-15 11:06:07 +00:00
|
|
|
|
2004-09-22 01:27:06 +00:00
|
|
|
#define FIXUP_PC_AFTER_BREAK \
|
|
|
|
|
do { \
|
|
|
|
|
kdb_frame->tf_rip -= 1; \
|
|
|
|
|
kdb_thrctx->pcb_rip -= 1; \
|
|
|
|
|
} while(0);
|
1993-06-12 14:58:17 +00:00
|
|
|
|
2004-07-10 23:47:20 +00:00
|
|
|
#define db_clear_single_step kdb_cpu_clear_singlestep
|
|
|
|
|
#define db_set_single_step kdb_cpu_set_singlestep
|
1993-06-12 14:58:17 +00:00
|
|
|
|
1995-01-14 10:34:52 +00:00
|
|
|
/*
|
Abort single stepping in ddb if the trap is not for single-stepping.
This is not very easy to do, since ddb didn't know when traps are
for single-stepping. It more or less assumed that traps are either
breakpoints or single-step, but even for x86 this became inadequate
with the release of the i386 in ~1986, and FreeBSD passes it other
trap types for NMIs and panics.
On x86, teach ddb when a trap is for single stepping using the %dr6
register. Unknown traps are now treated almost the same as breakpoints
instead of as the same as single-steps. Previously, the classification
of breakpoints was almost correct and everything else was unknown so
had to be treated as a single-step. Now the classification of single-
steps is precise, the classification of breakpoints is almost correct
(as before) and everything else is unknown and treated like a
breakpoint.
This fixes:
- breakpoints not set by ddb, including the main one in kdb_enter(),
were treated as single-steps and not stopped on when stepping
(except for the usual, simple case of a step with residual count 1).
As special cases, kdb_enter() didn't stop for fatal traps or panics
- similarly for "hardware breakpoints".
Use a new MD macro IS_SSTEP_TRAP(type, code) to code to classify
single-steps. This is excessively complicated for bug-for-bug and
backwards compatibilty. Design errors apparently started in Mach
in ~1990 or perhaps in the FreeBSD interface in ~1993. Common trap
types like single steps should have a unique MI code (like the TRAP*
codes for user SIGTRAP) so that debuggers don't need macros like
IS_SSTEP_TRAP() to decode them. But 'type' is actually an ambiguous
MD trap number, and code was always 0 (now it is (int)%dr6 on x86).
So it was impossible to determine the trap type from the args.
Global variables had to be used.
There is already a classification macro db_pc_is_single_step(), but
this just gets in the way. It is only used to recover from bugs in
IS_BREAKPOINT_TRAP(). On some arches, IS_BREAKPOINT_TRAP() just
duplicates the ambiguity in 'type' and misclassifies single-steps as
breakpoints. It defaults to 'false', which is the opposite of what is
needed for bug-for-bug compatibility.
When this is cleaned up, MI classification bits should be passed in
'code'. This could be done now for positive-logic bits, since 'code'
was always 0, but some negative logic is needed for compatibility so
a simple MI classificition is not usable yet.
After reading %dr6, clear the single-step bit in it so that the type
of the next debugger trap can be decoded. This is a little
ddb-specific. ddb doesn't understand the need to clear this bit and
doing it before calling kdb is easiest. gdb would need to reverse
this to support hardware breakpoints, but it just doesn't support
them now since gdbstub doesn't support %dr*.
Fix a bug involving %dr6: when emulating a single-step trap for vm86,
set the bit for it in %dr6. Userland debuggers need this. ddb now
needs this for vm86 bios calls. The bit gets copied to 'code' then
cleared again.
Fix related style bugs:
- when clearing bits for hardware breakpoints in %dr6, spell the mask
as ~0xf on both amd64 and i386 to get the correct number of bits
using sign extension and not need a comment about using the wrong
mask on amd64 (amd64 traps for invalid results but clearing the
reserved top bits didn't trap since they are 0).
- rewrite my old wrong comments about using %dr6 for ddb watchpoints.
2016-09-15 17:24:23 +00:00
|
|
|
* The debug exception type is copied from %dr6 to 'code' and used to
|
|
|
|
|
* disambiguate single step traps. Watchpoints have no special support.
|
|
|
|
|
* Our hardware breakpoints are not well integrated with ddb and are too
|
|
|
|
|
* different from watchpoints. ddb treats them as unknown traps with
|
|
|
|
|
* unknown addresses and doesn't turn them off while it is running.
|
1995-01-14 10:34:52 +00:00
|
|
|
*/
|
Abort single stepping in ddb if the trap is not for single-stepping.
This is not very easy to do, since ddb didn't know when traps are
for single-stepping. It more or less assumed that traps are either
breakpoints or single-step, but even for x86 this became inadequate
with the release of the i386 in ~1986, and FreeBSD passes it other
trap types for NMIs and panics.
On x86, teach ddb when a trap is for single stepping using the %dr6
register. Unknown traps are now treated almost the same as breakpoints
instead of as the same as single-steps. Previously, the classification
of breakpoints was almost correct and everything else was unknown so
had to be treated as a single-step. Now the classification of single-
steps is precise, the classification of breakpoints is almost correct
(as before) and everything else is unknown and treated like a
breakpoint.
This fixes:
- breakpoints not set by ddb, including the main one in kdb_enter(),
were treated as single-steps and not stopped on when stepping
(except for the usual, simple case of a step with residual count 1).
As special cases, kdb_enter() didn't stop for fatal traps or panics
- similarly for "hardware breakpoints".
Use a new MD macro IS_SSTEP_TRAP(type, code) to code to classify
single-steps. This is excessively complicated for bug-for-bug and
backwards compatibilty. Design errors apparently started in Mach
in ~1990 or perhaps in the FreeBSD interface in ~1993. Common trap
types like single steps should have a unique MI code (like the TRAP*
codes for user SIGTRAP) so that debuggers don't need macros like
IS_SSTEP_TRAP() to decode them. But 'type' is actually an ambiguous
MD trap number, and code was always 0 (now it is (int)%dr6 on x86).
So it was impossible to determine the trap type from the args.
Global variables had to be used.
There is already a classification macro db_pc_is_single_step(), but
this just gets in the way. It is only used to recover from bugs in
IS_BREAKPOINT_TRAP(). On some arches, IS_BREAKPOINT_TRAP() just
duplicates the ambiguity in 'type' and misclassifies single-steps as
breakpoints. It defaults to 'false', which is the opposite of what is
needed for bug-for-bug compatibility.
When this is cleaned up, MI classification bits should be passed in
'code'. This could be done now for positive-logic bits, since 'code'
was always 0, but some negative logic is needed for compatibility so
a simple MI classificition is not usable yet.
After reading %dr6, clear the single-step bit in it so that the type
of the next debugger trap can be decoded. This is a little
ddb-specific. ddb doesn't understand the need to clear this bit and
doing it before calling kdb is easiest. gdb would need to reverse
this to support hardware breakpoints, but it just doesn't support
them now since gdbstub doesn't support %dr*.
Fix a bug involving %dr6: when emulating a single-step trap for vm86,
set the bit for it in %dr6. Userland debuggers need this. ddb now
needs this for vm86 bios calls. The bit gets copied to 'code' then
cleared again.
Fix related style bugs:
- when clearing bits for hardware breakpoints in %dr6, spell the mask
as ~0xf on both amd64 and i386 to get the correct number of bits
using sign extension and not need a comment about using the wrong
mask on amd64 (amd64 traps for invalid results but clearing the
reserved top bits didn't trap since they are 0).
- rewrite my old wrong comments about using %dr6 for ddb watchpoints.
2016-09-15 17:24:23 +00:00
|
|
|
#define IS_BREAKPOINT_TRAP(type, code) ((type) == T_BPTFLT)
|
|
|
|
|
#define IS_SSTEP_TRAP(type, code) ((type) == T_TRCTRAP && (code) & 0x4000)
|
|
|
|
|
#define IS_WATCHPOINT_TRAP(type, code) 0
|
1993-06-12 14:58:17 +00:00
|
|
|
|
|
|
|
|
#define I_CALL 0xe8
|
|
|
|
|
#define I_CALLI 0xff
|
2016-09-15 18:30:53 +00:00
|
|
|
#define i_calli(ins) (((ins)&0xff) == I_CALLI && ((ins)&0x3800) == 0x1000)
|
1993-06-12 14:58:17 +00:00
|
|
|
#define I_RET 0xc3
|
|
|
|
|
#define I_IRET 0xcf
|
2016-09-15 18:30:53 +00:00
|
|
|
#define i_rex(ins) (((ins) & 0xff) == 0x41 || ((ins) & 0xff) == 0x43)
|
1993-06-12 14:58:17 +00:00
|
|
|
|
|
|
|
|
#define inst_trap_return(ins) (((ins)&0xff) == I_IRET)
|
|
|
|
|
#define inst_return(ins) (((ins)&0xff) == I_RET)
|
2016-09-15 18:30:53 +00:00
|
|
|
#define inst_call(ins) (((ins)&0xff) == I_CALL || i_calli(ins) || \
|
|
|
|
|
(i_calli((ins) >> 8) && i_rex(ins)))
|
1993-06-12 14:58:17 +00:00
|
|
|
#define inst_load(ins) 0
|
|
|
|
|
#define inst_store(ins) 0
|
|
|
|
|
|
1997-01-16 11:27:11 +00:00
|
|
|
/*
|
|
|
|
|
* There no interesting addresses below _kstack = 0xefbfe000. There
|
|
|
|
|
* are small absolute values for GUPROF, but we don't want to see them.
|
|
|
|
|
* Treat "negative" addresses below _kstack as non-small to allow for
|
|
|
|
|
* future reductions of _kstack and to avoid sign extension problems.
|
|
|
|
|
*
|
|
|
|
|
* There is one interesting symbol above -db_maxoff = 0xffff0000,
|
|
|
|
|
* namely _APTD = 0xfffff000. Accepting this would mess up the
|
|
|
|
|
* printing of small negative offsets. The next largest symbol is
|
|
|
|
|
* _APTmap = 0xffc00000. Accepting this is OK (unless db_maxoff is
|
|
|
|
|
* set to >= 0x400000 - (max stack offset)).
|
|
|
|
|
*/
|
|
|
|
|
#define DB_SMALL_VALUE_MAX 0x7fffffff
|
|
|
|
|
#define DB_SMALL_VALUE_MIN (-0x400001)
|
|
|
|
|
|
1995-01-14 10:34:52 +00:00
|
|
|
#endif /* !_MACHINE_DB_MACHDEP_H_ */
|
