Index: /trunk/include/iprt/dbg.h
===================================================================
--- /trunk/include/iprt/dbg.h	(revision 40660)
+++ /trunk/include/iprt/dbg.h	(revision 40661)
@@ -1147,6 +1147,22 @@
 /** @} */
 
+
+/** @name Proposed Kernel Structure API
+ * @{ */
+/** Handle to the kernel structures database. */
+typedef struct RTDBGKRNLSTRUCTSINT *RTDBGKRNLSTRUCTS;
+/** Pointer to a kernel structures database handle. */
+typedef RTDBGKRNLSTRUCTS           *PRTDBGKRNLSTRUCTS;
+
+RTR0DECL(int)       RTR0DbgKrnlStructsOpen(PRTDBGKRNLSTRUCTS phKrnlStructs, uint32_t fFlags);
+RTR0DECL(uint32_t)  RTR0DbgKrnlStructsRetain(RTDBGKRNLSTRUCTS hKrnlStructs);
+RTR0DECL(uint32_t)  RTR0DbgKrnlStructsRelease(RTDBGKRNLSTRUCTS hKrnlStructs);
+RTR0DECL(int)       RTR0DbgKrnlStructsQueryMember(RTDBGKRNLSTRUCTS hKrnlStructs, const char *pszStructure,
+                                                  const char *pszMember, size_t *poffMember);
 /** @} */
 
+
+/** @} */
+
 RT_C_DECLS_END