Symbol: kmdb_dpi_reboot
usr/src/cmd/mdb/common/kmdb/kmdb_stubs.c
162
extern void kmdb_dpi_reboot(void) __NORETURN;
usr/src/cmd/mdb/common/kmdb/kmdb_stubs.c
176
kmdb_dpi_reboot();
usr/src/cmd/mdb/intel/kmdb/kaif.c
117
kmdb_dpi_reboot();
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.h
44
extern void kmdb_dpi_reboot(void) __NORETURN;