From 4de6d54e5002d408050081aa731cf7dcef46a6d2 Mon Sep 17 00:00:00 2001
From: Alexander Boettcher <alexander.boettcher@genode-labs.com>
Date: Wed, 1 Oct 2014 14:25:28 +0200
Subject: [PATCH] vmm: tag printf with compiler "printf" attribute

Issue #1296
---
 repos/ports/include/vmm/printf.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/repos/ports/include/vmm/printf.h b/repos/ports/include/vmm/printf.h
index f7ec54e9b2..9d92228a15 100644
--- a/repos/ports/include/vmm/printf.h
+++ b/repos/ports/include/vmm/printf.h
@@ -23,7 +23,7 @@ namespace Vmm {
 
 	using namespace Genode;
 
-	void printf(const char *format, ...);
+	void printf(const char *format, ...) __attribute__((format(printf, 1, 2)));
 }