kgdb.h
上传用户:jlfgdled
上传日期:2013-04-10
资源大小:33168k
文件大小:2k
源码类别:

Linux/Unix编程

开发平台:

Unix_Linux

  1. /* 
  2.  * kgdb.h: Defines and declarations for serial line source level
  3.  *         remote debugging of the Linux kernel using gdb.
  4.  *
  5.  * PPC Mods (C) 1998 Michael Tesch (tesch@cs.wisc.edu)
  6.  *
  7.  * Copyright (C) 1995 David S. Miller (davem@caip.rutgers.edu)
  8.  *
  9.  * This program is free software; you can redistribute it and/or
  10.  * modify it under the terms of the GNU General Public License
  11.  * as published by the Free Software Foundation; either version
  12.  * 2 of the License, or (at your option) any later version.
  13.  */
  14. #ifndef _PPC64_KGDB_H
  15. #define _PPC64_KGDB_H
  16. #ifndef __ASSEMBLY__
  17. /* To initialize the serial, first thing called */
  18. extern void zs_kgdb_hook(int tty_num);
  19. /* To init the kgdb engine. (called by serial hook)*/
  20. extern void set_debug_traps(void);
  21. /* To enter the debugger explicitly. */
  22. extern void breakpoint(void);
  23. /* For taking exceptions
  24.  * these are defined in traps.c
  25.  */
  26. extern void (*debugger)(struct pt_regs *regs);
  27. extern int (*debugger_bpt)(struct pt_regs *regs);
  28. extern int (*debugger_sstep)(struct pt_regs *regs);
  29. extern int (*debugger_iabr_match)(struct pt_regs *regs);
  30. extern int (*debugger_dabr_match)(struct pt_regs *regs);
  31. extern void (*debugger_fault_handler)(struct pt_regs *regs);
  32. /* What we bring to the party */
  33. int kgdb_bpt(struct pt_regs *regs);
  34. int kgdb_sstep(struct pt_regs *regs);
  35. void kgdb(struct pt_regs *regs);
  36. int kgdb_iabr_match(struct pt_regs *regs);
  37. int kgdb_dabr_match(struct pt_regs *regs);
  38. static void kgdb_fault_handler(struct pt_regs *regs);
  39. static void handle_exception (struct pt_regs *regs);
  40. /*
  41.  * external low-level support routines (ie macserial.c)
  42.  */
  43. extern void kgdb_interruptible(int); /* control interrupts from serial */
  44. extern void putDebugChar(char);   /* write a single character      */
  45. extern char getDebugChar(void);   /* read and return a single char */
  46. #endif /* !(__ASSEMBLY__) */
  47. #endif /* !(_PPC64_KGDB_H) */