diff --git a/repos/base/include/base/output.h b/repos/base/include/base/output.h
index 9628c32eb9..ea8cd7f01a 100644
--- a/repos/base/include/base/output.h
+++ b/repos/base/include/base/output.h
@@ -71,6 +71,11 @@ namespace Genode {
 	 */
 	void print(Output &output, unsigned long);
 
+	/**
+	 * Print unsigned long long value
+	 */
+	void print(Output &output, unsigned long long);
+
 	/**
 	 * Print unsigned integer value
 	 */
diff --git a/repos/base/src/lib/base/output.cc b/repos/base/src/lib/base/output.cc
index 66648f24fa..0d9b6dfb53 100644
--- a/repos/base/src/lib/base/output.cc
+++ b/repos/base/src/lib/base/output.cc
@@ -58,6 +58,12 @@ void Genode::print(Output &output, unsigned long value)
 }
 
 
+void Genode::print(Output &output, unsigned long long value)
+{
+	out_unsigned<unsigned long long>(value, 10, 0, [&] (char c) { output.out_char(c); });
+}
+
+
 void Genode::print(Output &output, long value)
 {
 	out_signed<long>(value, 10, [&] (char c) { output.out_char(c); });