Symbol: kdb_init
sys/ddb/ddb.h
117
void kdb_init (void);
sys/platform/pc64/x86_64/machdep.c
2789
kdb_init();
sys/platform/vkernel64/platform/init.c
805
kdb_init();