struct MI_SYSTEM_PTE_TYPE

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