21 lines
809 B
Diff
21 lines
809 B
Diff
diff --git a/executer/kernel/mcctrl/driver.c b/executer/kernel/mcctrl/driver.c
|
|
index 390dac6..a87aa45 100644
|
|
--- a/executer/kernel/mcctrl/driver.c
|
|
+++ b/executer/kernel/mcctrl/driver.c
|
|
@@ -171,12 +171,12 @@ int mcctrl_os_shutdown_notifier(int os_index)
|
|
{
|
|
if (os[os_index]) {
|
|
/* Wait for os running */
|
|
- if (ihk_os_wait_for_status(os[os_index], IHK_OS_STATUS_RUNNING, 0, 200) != 0) {
|
|
- printk("IHK: OS does not become RUNNING in shutdown. Force shutdown.\n");
|
|
+// if (ihk_os_wait_for_status(os[os_index], IHK_OS_STATUS_RUNNING, 0, 200) != 0) {
|
|
+// printk("IHK: OS does not become RUNNING in shutdown. Force shutdown.\n");
|
|
/* send nmi to force shutdown */
|
|
ihk_os_send_nmi(os[os_index], 3);
|
|
mdelay(200);
|
|
- }
|
|
+// }
|
|
|
|
sysfsm_cleanup(os[os_index]);
|
|
free_topology_info(os[os_index]);
|