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