kernel_halt
kernel_halt();
kernel_halt();
kernel_halt();
extern void kernel_halt(void);
kernel_halt();
EXPORT_SYMBOL_GPL(kernel_halt);
kernel_halt();
kernel_halt();