OpenCloudOS-Kernel/tools/virtio/linux/printk.h