77 lines
2.0 KiB
C
77 lines
2.0 KiB
C
/*
|
|
* Mach Operating System
|
|
* Copyright (c) 1991,1990 Carnegie Mellon University
|
|
* All Rights Reserved.
|
|
*
|
|
* 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.
|
|
*
|
|
* CARNEGIE MELLON ALLOWS FREE USE OF THIS SOFTWARE IN ITS
|
|
* CONDITION. CARNEGIE MELLON DISCLAIMS ANY LIABILITY OF ANY KIND FOR
|
|
* ANY DAMAGES WHATSOEVER RESULTING FROM THE USE OF THIS SOFTWARE.
|
|
*
|
|
* Carnegie Mellon requests users of this software to return to
|
|
*
|
|
* Software Distribution Coordinator or Software.Distribution@CS.CMU.EDU
|
|
* School of Computer Science
|
|
* Carnegie Mellon University
|
|
* Pittsburgh PA 15213-3890
|
|
*
|
|
* any improvements or extensions that they make and grant Carnegie the
|
|
* rights to redistribute these changes.
|
|
*
|
|
* $Id$
|
|
*/
|
|
|
|
/*
|
|
* Author: David B. Golub, Carnegie Mellon University
|
|
* Date: 7/90
|
|
*/
|
|
|
|
/*
|
|
* Trap entry point to kernel debugger.
|
|
*/
|
|
#include "param.h"
|
|
#include "proc.h"
|
|
#include <ddb/db_command.h>
|
|
#include <ddb/db_break.h>
|
|
|
|
extern void db_restart_at_pc();
|
|
extern boolean_t db_stop_at_pc();
|
|
|
|
extern int db_inst_count;
|
|
extern int db_load_count;
|
|
extern int db_store_count;
|
|
|
|
db_trap(type, code)
|
|
int type, code;
|
|
{
|
|
boolean_t bkpt;
|
|
boolean_t watchpt;
|
|
|
|
bkpt = IS_BREAKPOINT_TRAP(type, code);
|
|
watchpt = IS_WATCHPOINT_TRAP(type, code);
|
|
|
|
if (db_stop_at_pc(&bkpt)) {
|
|
if (db_inst_count) {
|
|
db_printf("After %d instructions (%d loads, %d stores),\n",
|
|
db_inst_count, db_load_count, db_store_count);
|
|
}
|
|
if (bkpt)
|
|
db_printf("Breakpoint at\t");
|
|
else if (watchpt)
|
|
db_printf("Watchpoint at\t");
|
|
else
|
|
db_printf("Stopped at\t");
|
|
db_dot = PC_REGS(DDB_REGS);
|
|
db_print_loc_and_inst(db_dot);
|
|
|
|
db_command_loop();
|
|
}
|
|
|
|
db_restart_at_pc(watchpt);
|
|
}
|