MiDeleteSystemPageTables

VOID __fastcall MiDeleteSystemPageTables(_MMSUPPORT_INSTANCE *Vm, INT64 a2, INT64 a3, INT64 a4, CHAR a5, INT64 a6){
  int v7; 
  char v10; 
  UINT64 v11; 
  int v12; 
  __int64 v13; 
  int v14; 
  INT64 v15; 
  INT64 v16[22]; 

  v13 = 0i64;
  v7 = a2;
  v14 = 0;
  memset(v16, 0i64, sizeof(v16));
  v12 = v7;
  BYTE2(v16[0]) = 4 * (a5 & 7);
  LOWORD(v16[0]) = 2055;
  v16[19] = (INT64)MiDeleteSystemPageTable;
  v16[20] = (INT64)MiDeleteSystemPageTableTail;
  v16[21] = (INT64)&v12;
  v15 = a6;
  v16[4] = a3;
  v16[5] = a4;
  v16[3] = (INT64)Vm;
  MiLockWorkingSetShared();
  BYTE6(v16[0]) = v10;
  MiWalkPageTables((INT64)v16);
  LOBYTE(v11) = BYTE6(v16[0]);
  MiUnlockWorkingSetShared(Vm, v11);
}

Referenced by: