static inline void crash_kexec(void) { } 
static inline void crash_kexec(struct pt_regs *regs) { } 
static inline void crash_kexec(void) { }
10457	/local/tlutelli/issta_data/temp/c/2005_temp/2005/10457/6e274d144302068a00794ec22e73520c0615cb6f/kexec.h/buggy/include/linux/kexec.h