version 1.31, 2003/04/02 03:49:25 |
version 1.32, 2003/04/26 11:05:10 |
|
|
#include <sys/msgbuf.h> |
#include <sys/msgbuf.h> |
#include <sys/reboot.h> |
#include <sys/reboot.h> |
#include <sys/termios.h> |
#include <sys/termios.h> |
|
#include <sys/ksyms.h> |
|
|
#include <uvm/uvm_extern.h> |
#include <uvm/uvm_extern.h> |
|
|
|
|
|
|
#include "opt_ipkdb.h" |
#include "opt_ipkdb.h" |
#include "pci.h" |
#include "pci.h" |
|
#include "ksyms.h" |
|
|
void ifpga_reset(void) __attribute__((noreturn)); |
void ifpga_reset(void) __attribute__((noreturn)); |
/* |
/* |
Line 818 initarm(void *arg) |
|
Line 820 initarm(void *arg) |
|
ipkdb_connect(0); |
ipkdb_connect(0); |
#endif |
#endif |
|
|
#ifdef DDB |
#if NKSYMS || defined(DDB) || defined(LKM) |
db_machine_init(); |
|
|
|
/* Firmware doesn't load symbols. */ |
/* Firmware doesn't load symbols. */ |
ddb_init(0, NULL, NULL); |
ksyms_init(0, NULL, NULL); |
|
#endif |
|
|
|
#ifdef DDB |
|
db_machine_init(); |
if (boothowto & RB_KDB) |
if (boothowto & RB_KDB) |
Debugger(); |
Debugger(); |
#endif |
#endif |