1. printk打印的时间戳 [ 7236.595796] usb 2-1.1: new high-speed USB device number 15 using ehci-platform static size_t print_time(u64 ts, char *buf) { unsigned long rem_nsec; if (!printk_time) ; rem_nsec = do_div(ts, ); /*ts=ts/1000000000, rem_nsec是余数,单位是ns…