diff --git a/common/hw-gfx-dp_info.adb b/common/hw-gfx-dp_info.adb
index 0427f48..7ac4556 100644
--- a/common/hw-gfx-dp_info.adb
+++ b/common/hw-gfx-dp_info.adb
@@ -1,5 +1,5 @@
 --
--- Copyright (C) 2015-2016 secunet Security Networks AG
+-- Copyright (C) 2015-2017 secunet Security Networks AG
 --
 -- This program is free software; you can redistribute it and/or modify
 -- it under the terms of the GNU General Public License as published by
@@ -138,15 +138,6 @@
       Success := Success and
                   Link.Lane_Count <= Link.Receiver_Caps.Max_Lane_Count;
 
-      pragma Debug (Success, Debug.Put ("Trying DP settings: Symbol Rate = "));
-      pragma Debug (Success, Debug.Put_Int32
-        (Int32 (DP_Symbol_Rate (Link.Bandwidth))));
-      pragma Debug (Success, Debug.Put ("; Lane Count = "));
-      pragma Debug (Success, Debug.Put_Int32
-        (Int32 (Lane_Count_As_Integer (Link.Lane_Count))));
-      pragma Debug (Success, Debug.New_Line);
-      pragma Debug (Success, Debug.New_Line);
-
       pragma Debug (not Success, Debug.Put_Line
         ("Mode requirements exceed available bandwidth!"));
    end Preferred_Link_Setting;
@@ -167,17 +158,19 @@
       else
          Success := False;
       end if;
-
-      pragma Debug (Success, Debug.Put ("Trying DP settings: Symbol Rate = "));
-      pragma Debug (Success, Debug.Put_Int32
-        (Int32 (DP_Symbol_Rate (Link.Bandwidth))));
-      pragma Debug (Success, Debug.Put ("; Lane Count = "));
-      pragma Debug (Success, Debug.Put_Int32
-        (Int32 (Lane_Count_As_Integer (Link.Lane_Count))));
-      pragma Debug (Success, Debug.New_Line);
-      pragma Debug (Success, Debug.New_Line);
    end Next_Link_Setting;
 
+   procedure Dump_Link_Setting (Link : DP_Link)
+   is
+   begin
+      Debug.Put ("Trying DP settings: Symbol Rate = ");
+      Debug.Put_Int32 (Int32 (DP_Symbol_Rate (Link.Bandwidth)));
+      Debug.Put ("; Lane Count = ");
+      Debug.Put_Int32 (Int32 (Lane_Count_As_Integer (Link.Lane_Count)));
+      Debug.New_Line;
+      Debug.New_Line;
+   end Dump_Link_Setting;
+
    ----------------------------------------------------------------------------
 
    procedure Calculate_M_N
diff --git a/common/hw-gfx-dp_info.ads b/common/hw-gfx-dp_info.ads
index 4f8ef02..aa10c4c 100644
--- a/common/hw-gfx-dp_info.ads
+++ b/common/hw-gfx-dp_info.ads
@@ -1,5 +1,5 @@
 --
--- Copyright (C) 2015 secunet Security Networks AG
+-- Copyright (C) 2015-2017 secunet Security Networks AG
 --
 -- This program is free software; you can redistribute it and/or modify
 -- it under the terms of the GNU General Public License as published by
@@ -91,6 +91,11 @@
       Mode        : in     Mode_Type;
       Success     :    out Boolean);
 
+   pragma Warnings
+     (GNATprove, Off, "subprogram ""Dump_Link_Setting"" has no effect",
+      Reason => "It's only used for debugging");
+   procedure Dump_Link_Setting (Link : DP_Link);
+
    ----------------------------------------------------------------------------
 
    M_N_Max : constant := 2 ** 24 - 1;
diff --git a/common/hw-gfx-gma-connector_info.adb b/common/hw-gfx-gma-connector_info.adb
index eae083f..798e61c 100644
--- a/common/hw-gfx-gma-connector_info.adb
+++ b/common/hw-gfx-gma-connector_info.adb
@@ -1,5 +1,5 @@
 --
--- Copyright (C) 2015-2016 secunet Security Networks AG
+-- Copyright (C) 2015-2017 secunet Security Networks AG
 --
 -- This program is free software; you can redistribute it and/or modify
 -- it under the terms of the GNU General Public License as published by
@@ -55,6 +55,7 @@
               (Link     => Port_Cfg.DP,
                Mode     => Port_Cfg.Mode,
                Success  => Success);
+            pragma Debug (Success, DP_Info.Dump_Link_Setting (Port_Cfg.DP));
          end if;
       else
          Success := True;
@@ -73,6 +74,7 @@
            (Link     => Port_Cfg.DP,
             Mode     => Port_Cfg.Mode,
             Success  => Success);
+         pragma Debug (Success, DP_Info.Dump_Link_Setting (Port_Cfg.DP));
       else
          Success := False;
       end if;