Searched refs:kmdb_dpi_reboot (Results 1 – 4 of 4) sorted by relevance
162 extern void kmdb_dpi_reboot(void) __NORETURN; in exit()176 kmdb_dpi_reboot(); in exit()
44 extern void kmdb_dpi_reboot(void) __NORETURN;
138 kmdb_dpi_reboot(void) in kmdb_dpi_reboot() function
117 kmdb_dpi_reboot(); in kaif_enter_mon()