-// sys_call_table=(void **)find_sys_call_table();
-// if(sys_call_table==NULL) {
-// printk(KERN_ERR "Cannot find the system call address\n");
-// return -1; // do not load
-// }
+ sys_call_table=(void **)find_sys_call_table();
+ if(sys_call_table==NULL) {
+ printk(KERN_ERR "Cannot find the system call address\n");
+ return -1; // do not load
+ }
+
+ printk(KERN_INFO "kexec: Found sys_call_table at: %p\n", sys_call_table);