void kernel_restart_prepare(char *cmd)
{
-#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);