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