diff --git a/common/hw-gfx-gma.ads b/common/hw-gfx-gma.ads
index 43e88e1..c05f4f1 100644
--- a/common/hw-gfx-gma.ads
+++ b/common/hw-gfx-gma.ads
@@ -35,10 +35,12 @@
    subtype GTT_Range is Natural range 0 .. 16#8_0000# - 1;
    GTT_Rotation_Offset : constant GTT_Range := GTT_Range'Last / 2 + 1;
 
-   type Generation is (G45, Ironlake, Haswell, Broxton, Skylake, Tigerlake);
+   type Generation is (I945, G45, Ironlake, Haswell, Broxton, Skylake, Tigerlake);
 
    type CPU_Type is
-     (G45,
+     (I945G,
+      I945GM,
+      G45,
       GM45,
       Ironlake,
       Sandybridge,
@@ -227,6 +229,13 @@
          In_Out => Device_State, Proof_In => Init_State),
       Pre => Is_Initialized;
 
+   procedure GTT_Entry_Count (Count : out Natural)
+   with
+      Global =>
+        (Input => State,
+         In_Out => Device_State, Proof_In => Init_State),
+      Pre => Is_Initialized and HW.Config.Dynamic_MMIO;
+
    procedure Setup_Default_FB
      (FB       : in     Framebuffer_Type;
       Clear    : in     Boolean := True;