Add the rt linux 4.1.3-rt3 as base

[kvmfornfv.git] / kernel / tools / virtio / linux / printk.h

diff --git a/kernel/tools/virtio/linux/printk.h b/kernel/tools/virtio/linux/printk.h
new file mode 100644 (file)
index 0000000..9f2423b
--- /dev/null
+++ b/kernel/tools/virtio/linux/printk.h
@@ -0,0 +1,4 @@
+#include "../../../include/linux/kern_levels.h"
+
+#define printk printf
+#define vprintk vprintf