/*文件名: panic.c
  說明:   出錯處理
  作者:   marsinfan
  日期:   2005/12/20
*/

#include <stdarg.h>

extern int printk(const char *fmt, ...);

//打印信息后死機
int panic(const char *s)
{
    printk("Kernel panic: %s\n\r", s);

    for (; ;)
        ;
}