void kernel_restart_prepare(char *cmd)
{
- void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))KERNEL_RESTART_PREPARE;
+#warning assuming kernel_restart_prepare is at 0xc00779cc
+ void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))0xc00779cc;
+ //void (*original_kernel_restart_prepare)(char *) = (void (*)(char *))KERNEL_RESTART_PREPARE;
return original_kernel_restart_prepare(cmd);
#if 0
register_reboot_notifier(&dummy_notifier_reboot);