From 941a71346a7aa77cbb12ba59e7646dc5b0e33166 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Josef=20S=C3=B6ntgen?= <josef.soentgen@genode-labs.com>
Date: Fri, 27 May 2016 23:48:31 +0200
Subject: [PATCH] base: add print method for unsigned long long

Fixes #1991.
---
 repos/base/include/base/output.h  | 5 +++++
 repos/base/src/lib/base/output.cc | 6 ++++++
 2 files changed, 11 insertions(+)

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); });