3 files changed, 21 insertions, 0 deletions
diff --git a/tapset/builtin_log.stp b/tapset/builtin_log.stp
new file mode 100644
index 00000000..2932d66e
--- /dev/null
+++ b/tapset/builtin_log.stp
@@ -0,0 +1,7 @@
+function _log (msg) %{
+    _stp_log (THIS->msg);
+%}
+
+function log (msg) {
+    return 0 + _log (msg . "")
+}
diff --git a/tapset/builtin_printk.stp b/tapset/builtin_printk.stp
new file mode 100644
index 00000000..3e456fb2
--- /dev/null
+++ b/tapset/builtin_printk.stp
@@ -0,0 +1,7 @@
+function _printk (msg) %{
+    printk (KERN_INFO "%s\n", THIS->msg);
+%}
+
+function printk (msg) {
+    return 0 + _printk (msg . "")
+}
diff --git a/tapset/builtin_warn.stp b/tapset/builtin_warn.stp
new file mode 100644
index 00000000..98fef7fe
--- /dev/null
+++ b/tapset/builtin_warn.stp
@@ -0,0 +1,7 @@
+function _warn (msg) %{
+    _stp_warn (THIS->msg);
+%}
+
+function warn (msg) {
+    return 0 + _warn (msg . "")
+}