内核调试打印系统时间

在内核调试中，可以通过打印信息的方式来记录系统时间。下面是一个示例代码：

#include <linux/time.h>
#include <linux/kernel.h>

void print_system_time(void) {
    struct timespec64 current_time;
    getnstimeofday64(&current_time);
    printk(KERN_INFO "System time: %lld seconds, %ld nanoseconds\n", current_time.tv_sec, current_time.tv_nsec);
}

这段代码使用了`getnstimeofday64`函数来获取当前系统时间，并通过`printk`函数将时间信息打印到内核日志中。你可以在需要的地方调用`print_system_time`函数来记录系统时间。