typedef struct _MI_SYSTEM_PTE_TYPE
{
    RTL_BITMAP Bitmap;
    unsigned long Flags;
    unsigned long Hint;
    MMPTE *BasePte;
    unsigned long *FailureCount;
    MMSUPPORT *Vm;
    volatile long TotalSystemPtes;
    volatile long TotalFreeSystemPtes;
    volatile long CachedPteCount;
    unsigned long PteFailures;
    union
    {
        unsigned __int64 SpinLock;
        KGUARDED_MUTEX *GlobalMutex;
    };
} MI_SYSTEM_PTE_TYPE, *PMI_SYSTEM_PTE_TYPE;