diff --git a/common/hw-gfx-gma.adb b/common/hw-gfx-gma.adb
index 94f3ceb267..101de1807c 100644
--- a/common/hw-gfx-gma.adb
+++ b/common/hw-gfx-gma.adb
@@ -301,7 +301,7 @@ is
    with
       Refined_Global =>
         (In_Out =>
-           (Config.Valid_Port_GPU,
+           (Config.Valid_Port_GPU, Dev.PCI_State,
             Registers.Register_State, Port_IO.State),
          Input =>
            (Time.State),