Searched refs:KMDB_DPI_CMD_REBOOT (Results 1 – 3 of 3) sorted by relevance
120 #define KMDB_DPI_CMD_REBOOT 6 /* Reboot the machine */ macro
180 case KMDB_DPI_CMD_REBOOT: in kaif_master_loop()
143 longjmp(kmdb_dpi_entry_pcb, KMDB_DPI_CMD_REBOOT); in kmdb_dpi_reboot()