Distinguish linear pointers.

[apitrace] / specs / gltypes.py

diff --git a/specs/gltypes.py b/specs/gltypes.py
index 829f0d84661caba35807633ee4fb259661fde6c3..5ea201a06584228c8af0dde5d55790ced3d62ebf 100644 (file)
--- a/specs/gltypes.py
+++ b/specs/gltypes.py
@@ -98,12 +98,17 @@ GLrenderbuffer = Handle("renderbuffer", GLuint)
 GLfragmentShaderATI = Handle("fragmentShaderATI", GLuint)
 GLarray = Handle("array", GLuint)
 GLregion = Handle("region", GLuint)
-GLmap = GLpointer
 GLpipeline = Handle("pipeline", GLuint)
 GLsampler = Handle("sampler", GLuint)
 GLfeedback = Handle("feedback", GLuint)
 
-GLsync_ = Opaque("GLsync")
+# GL mappings are pointers to linear memory regions.
+#
+# The map length is not always available in the function prototype, and must be
+# reconstructed from other state.
+GLmap = LinearPointer(GLvoid, "length")
+
+GLsync_ = IntPointer("GLsync")
 GLsync = Handle("sync", GLsync_)
 
 GLenum = Enum("GLenum", [