copied from http://www.linuxforu.com/2011/04/kernel-debugging-using-kprobe-and-jprobe