Symbol: KMDB_DPI_CMD_REBOOT
usr/src/cmd/mdb/common/kmdb/kaif_start.c
179
case KMDB_DPI_CMD_REBOOT:
usr/src/cmd/mdb/intel/kmdb/kmdb_dpi_isadep.c
144
longjmp(kmdb_dpi_entry_pcb, KMDB_DPI_CMD_REBOOT);