From 3c7138847aa712d2747650636a362844a1733814 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Dag-Erling=20Sm=C3=B8rgrav?= <d.e.smorgrav@usit.uio.no>
Date: Tue, 16 Jan 2018 16:58:24 +0100
Subject: [PATCH] Deduplicate the verbose flag.

---
 main.c | 5 -----
 util.c | 3 +++
 2 files changed, 3 insertions(+), 5 deletions(-)

diff --git a/main.c b/main.c
index cee715b..8b58a25 100644
--- a/main.c
+++ b/main.c
@@ -36,11 +36,6 @@
 
 #include "meltdown.h"
 
-/*
- * Debugging
- */
-int verbose;
-
 /*
  * Kernel base address for a few platforms
  */
diff --git a/util.c b/util.c
index 07c446b..a44a559 100644
--- a/util.c
+++ b/util.c
@@ -34,6 +34,9 @@
 
 #include "meltdown.h"
 
+/*
+ * Debugging
+ */
 int verbose;
 
 /*