typedef struct _MI_SPECIAL_POOL_PTE_LIST { MMPTE FreePteHead; MMPTE FreePteTail; } MI_SPECIAL_POOL_PTE_LIST, *PMI_SPECIAL_POOL_PTE_LIST;