Fix SPARK warning regarding global and non-volatile function

The warning fixed by the change is:

 "Ring" constituent of "DMA" cannot act as global item of nonvolatile
 function "Ready"

Signed-off-by: Adrian-Ken Rueegsegger <ken@codelabs.ch>

diff --git a/src/hw-dbc-events.adb b/src/hw-dbc-events.adb
index ba74f0fc0d6d7336926ba6f689df5507a8658bc4..3f16ad097a8247f8b210a9ca032acd75274c25d1 100644 (file)
--- a/src/hw-dbc-events.adb
+++ b/src/hw-dbc-events.adb
@@ -63,6 +63,7 @@ is
    ----------------------------------------------------------------------------
 
    function Ready return Boolean
+   with Volatile_Function
    is
       Current_Cycle : Bit;
    begin