typedef struct _MI_SYSTEM_PTE_TYPE { PMMPTE FirstFreePte; ULONG * FailureCount; PKGUARDED_MUTEX GlobalMutex; ULONG TbFlushTimeStamp; } MI_SYSTEM_PTE_TYPE, *PMI_SYSTEM_PTE_TYPE;
Windows Vista Kernel Structures