NTSTATUS __stdcall MiFreePartitionNodePages(UINT64 a1, INT64 a2, CHAR a3){
unsigned int v4;
__int128 v6;
__int128 v7;
__int128 v8;
__int64 v9;
v9 = 0i64;
v6 = a1;
v4 = 1;
v7 = 0i64;
v8 = 0i64;
if( (a3 & 4) == 0 )
v4 = 2 * ((a3 & 1) == 0);
MiActOnPartitionNodePages(a2, v4, (_RTL_AVL_TREE **)&v6);
return DWORD1(v7);
}