void __fastcall MiDeletePageFileSectionNodes(__int64 a1){
__int64 v2;
INT64 v3;
v2 = a1 + 128;
do
{
if( *(_QWORD *)(v2 + 8) )
{
MiUpdateSystemProtoPtesTree((RTL_BALANCED_NODE *)(v2 + 56), 0i64);
ExFreePoolWithTag(*(PVOID *)(v2 + 8), 0);
}
v2 = *(_QWORD *)(v2 + 16);
}
while( v2 );
if( MiAweControlArea(a1) )
MiDeleteSectionAwe(v3);
}