kernel_kexec 302 include/linux/kexec.h extern int kernel_kexec(void); kernel_kexec 381 kernel/reboot.c ret = kernel_kexec();