Tenok
A Linux-like Real-Time Operating System for Robotics and Internet of Things
printk.h
Go to the documentation of this file.
1 
4 #ifndef __KERNEL_PRINTK_H__
5 #define __KERNEL_PRINTK_H__
6 
14 void printk(char *format, ...);
15 
23 void panic(char *format, ...);
24 
25 void printkd_init(void);
26 void printkd_start(void);
27 void printkd(void);
28 
29 #endif
void printk(char *format,...)
Display a kernel message.
Definition: printk.c:73
void panic(char *format,...)
Display a message, then halt the system.
Definition: printk.c:104