From 1d9a2dce94673b15f389a500e5f016d9e89ca774 Mon Sep 17 00:00:00 2001
From: Tomasz Gajewski <tomga@wp.pl>
Date: Wed, 1 Apr 2020 01:50:26 +0200
Subject: [PATCH] trace: extend policy with log_output

Issue #3714
---
 repos/base/include/base/trace/policy.h           | 1 +
 repos/os/include/trace/policy.h                  | 1 +
 repos/os/src/lib/trace/policy/null/policy.cc     | 5 +++++
 repos/os/src/lib/trace/policy/rpc_name/policy.cc | 5 +++++
 repos/os/src/lib/trace/policy/table.cc           | 1 +
 5 files changed, 13 insertions(+)

diff --git a/repos/base/include/base/trace/policy.h b/repos/base/include/base/trace/policy.h
index 600859cc8..969c7ff06 100644
--- a/repos/base/include/base/trace/policy.h
+++ b/repos/base/include/base/trace/policy.h
@@ -32,6 +32,7 @@ namespace Genode {
 struct Genode::Trace::Policy_module
 {
 	size_t (*max_event_size)  ();
+	size_t (*log_output)      (char *, char const *, size_t);
 	size_t (*rpc_call)        (char *, char const *, Msgbuf_base const &);
 	size_t (*rpc_returned)    (char *, char const *, Msgbuf_base const &);
 	size_t (*rpc_dispatch)    (char *, char const *);
diff --git a/repos/os/include/trace/policy.h b/repos/os/include/trace/policy.h
index dcf1c3a54..6304c3500 100644
--- a/repos/os/include/trace/policy.h
+++ b/repos/os/include/trace/policy.h
@@ -22,6 +22,7 @@ namespace Genode {
 }
 
 extern "C" size_t max_event_size ();
+extern "C" size_t log_output     (char *dst, char const *log_message, size_t len);
 extern "C" size_t rpc_call       (char *dst, char const *rpc_name, Genode::Msgbuf_base const &);
 extern "C" size_t rpc_returned   (char *dst, char const *rpc_name, Genode::Msgbuf_base const &);
 extern "C" size_t rpc_dispatch   (char *dst, char const *rpc_name);
diff --git a/repos/os/src/lib/trace/policy/null/policy.cc b/repos/os/src/lib/trace/policy/null/policy.cc
index 1c5aabc3b..d65c5de9d 100644
--- a/repos/os/src/lib/trace/policy/null/policy.cc
+++ b/repos/os/src/lib/trace/policy/null/policy.cc
@@ -7,6 +7,11 @@ size_t max_event_size()
 	return 0;
 }
 
+size_t log_output(char *dst, char const *log_message, size_t len)
+{
+	return 0;
+}
+
 size_t rpc_call(char *dst, char const *rpc_name, Msgbuf_base const &)
 {
 	return 0;
diff --git a/repos/os/src/lib/trace/policy/rpc_name/policy.cc b/repos/os/src/lib/trace/policy/rpc_name/policy.cc
index 4d131f613..0521d92b4 100644
--- a/repos/os/src/lib/trace/policy/rpc_name/policy.cc
+++ b/repos/os/src/lib/trace/policy/rpc_name/policy.cc
@@ -10,6 +10,11 @@ size_t max_event_size()
 	return MAX_EVENT_SIZE;
 }
 
+size_t log_output(char *dst, char const *log_message, size_t len)
+{
+	return 0;
+}
+
 size_t rpc_call(char *dst, char const *rpc_name, Msgbuf_base const &)
 {
 	size_t len = strlen(rpc_name);
diff --git a/repos/os/src/lib/trace/policy/table.cc b/repos/os/src/lib/trace/policy/table.cc
index b2527cf81..2541f6074 100644
--- a/repos/os/src/lib/trace/policy/table.cc
+++ b/repos/os/src/lib/trace/policy/table.cc
@@ -19,6 +19,7 @@ extern "C" {
 	Genode::Trace::Policy_module policy_jump_table =
 	{
 		max_event_size,
+		log_output,
 		rpc_call,
 		rpc_returned,
 		rpc_dispatch,