typedef struct _MI_SPECIAL_POOL
{
    MMPTE *PteBase;
    unsigned __int64 Lock;
    MI_SPECIAL_POOL_PTE_LIST Paged;
    MI_SPECIAL_POOL_PTE_LIST NonPaged;
    volatile __int64 PagesInUse;
    RTL_BITMAP SpecialPoolPdes;
} MI_SPECIAL_POOL, *PMI_SPECIAL_POOL;