Lines Matching refs:kgdb_dev
158 extern dev_t kgdb_dev;
458 if (cdevsw_lookup(kgdb_dev) == &dcm_cdevsw &&
459 DCMBOARD(DCMUNIT(kgdb_dev)) == brd) {
460 if (dcmconsole == DCMUNIT(kgdb_dev)) /* XXX fixme */
461 kgdb_dev = NODEV; /* can't debug over console port */
468 dcminit(dcm, DCMPORT(DCMUNIT(kgdb_dev)),
472 DCMPORT(DCMUNIT(kgdb_dev)));
477 DCMPORT(DCMUNIT(kgdb_dev)));
828 if ((makedev(maj, minor(tp->t_dev)) == kgdb_dev) &&
1544 if (major(kgdb_dev) == maj &&
1545 DCMBOARD(DCMUNIT(kgdb_dev)) == DCMBOARD(unit)) {
1546 dcminit(dcm_cn, DCMPORT(DCMUNIT(kgdb_dev)), kgdb_rate);
1554 printf("dcm%d: ", DCMUNIT(kgdb_dev));
1614 if (dev != kgdb_dev)
Indexes created Mon Oct 20 20:10:13 GMT 2025