kernel中打印时分秒毫秒的用法

在Linux kernel中，可以使用函数`printk()`来打印信息。要在打印信息中包含时分秒毫秒，可以使用内核提供的时间戳相关的函数。以下是一个示例代码：

#include <linux/time.h>

// 获取当前时间的时分秒毫秒
struct timeval tv;
struct tm tm;
gettimeofday(&tv, NULL);
time_to_tm(tv.tv_sec, 0, &tm);
int ms = tv.tv_usec / 1000;

// 打印信息，包含时分秒毫秒
printk(KERN_INFO "Current time: %02d:%02d:%02d.%03d\n", tm.tm_hour, tm.tm_min, tm.tm_sec, ms);

在代码中，首先获取当前时间的时分秒毫秒，然后使用`printk()`函数来打印信息。`%02d`表示用两位数字来表示小时、分钟和秒，不足两位时前面补0；`%03d`表示用三位数字来表示毫秒，不足三位时前面补0。打印信息的级别可以根据需要自行调整。