Symbol: kmdb_kdi_reboot
usr/src/cmd/mdb/common/kmdb/kaif_start.c
185
kmdb_kdi_reboot();
usr/src/cmd/mdb/common/kmdb/kaif_start.c
239
kmdb_kdi_reboot();
usr/src/cmd/mdb/intel/kmdb/kmdb_kdi_isadep.h
55
extern void kmdb_kdi_reboot(void);