- register_reboot_notifier(&dummy_notifier_reboot);
- notifier_head.head=dummy_notifier_reboot.next;
- unregister_reboot_notifier(&dummy_notifier_reboot);
-
- blocking_notifier_call_chain(¬ifier_head, SYS_RESTART, cmd);
- system_state = SYSTEM_RESTART;
-// device_shutdown();
-// sysdev_shutdown();
+#warning assuming kernel_restart_prepare is at 0xc00779cc
+ void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))0xc00779cc;
+ return original_kernel_restart_prepare(cmd);