commit aae8a358a88899bea2525298fce233ca3a6ddece
author Nico Huber <nico.huber@secunet.com> Mon Jun 15 13:09:29 2020 +0200
committer Nico Huber <nico.h@gmx.de> Mon Jul 13 12:27:58 2026 +0000
tree 7883f57ae64b675ef4c7463302f6f4b967a59f63
parent fb80da90fd3db5b7d99b0f0f30617ef1bdc31e0f

gma: Don't log cursor movements

They were spewing the log too much.

Change-Id: I6b82d39945499c025e444749ba0b0a04d88254a3
Signed-off-by: Nico Huber <nico.huber@secunet.com>
Reviewed-on: https://review.sourcearcade.org/c/libgfxinit/+/535
Reviewed-by: Thomas Heijligen <src@posteo.de>
Reviewed-by: Arthur Heymans <arthur@aheymans.xyz>
Tested-by: Nico Huber <nico.h@gmx.de>
Reviewed-by: Angel Pons <th3fanbus@gmail.com>

common/hw-gfx-gma-registers.ads

diff --git a/common/hw-gfx-gma-registers.ads b/common/hw-gfx-gma-registers.ads
index c9454c9..1245c9f 100644
--- a/common/hw-gfx-gma-registers.ads
+++ b/common/hw-gfx-gma-registers.ads
@@ -2310,7 +2310,6 @@
                   null  => Verbose),
       Pre     => True,
       Post    => True;
-   pragma Warnings (GNATprove, On, "unused variable ""Verbose""");
 
    procedure Read_AUD_VID_DID (Value : out Word32)
    with
@@ -2321,12 +2320,15 @@
 
    procedure Write
       (Register : Registers_Index;
-       Value    : Word32)
+       Value    : Word32;
+       Verbose  : Boolean := True)
    with
       Global  => (In_Out => Register_State),
-      Depends => (Register_State => (Register, Register_State, Value)),
+      Depends => (Register_State => (Register, Register_State, Value),
+                  null => Verbose),
       Pre     => True,
       Post    => True;
+   pragma Warnings (GNATprove, On, "unused variable ""Verbose""");
 
    procedure Is_Set_Mask
       (Register : in     Registers_Index;