MiDeleteSystemPageTables

INT64 __fastcall MiDeleteSystemPageTables(INT64 a1, INT64 a2, INT64 a3, INT64 a4, CHAR a5, INT64 a6){
  int v7; 
  int v11; 
  __int64 v12; 
  int v13; 
  INT64 v14; 
  __int16 result; 
  char result_2; 
  UINT8 result_6; 
  INT64 v18; 
  INT64 v19; 
  INT64 v20; 
  INT64(__fastcall *v21)(INT64, UINT64, INT64); 
  INT64(__fastcall *v22)(INT64); 
  int *v23; 
  v12 = 0i64;
  v7 = a2;
  v13 = 0;
  memset((INT64)&result, 0i64);
  v11 = v7;
  result_2 = 4 * (a5 & 7);
  result = 2055;
  v21 = MiDeleteSystemPageTable;
  v22 = MiDeleteSystemPageTableTail;
  v23 = &v11;
  v14 = a6;
  v19 = a3;
  v20 = a4;
  v18 = a1;
  result_6 = MiLockWorkingSetShared(a1);
  MiWalkPageTables((INT64)&result);
  return MiUnlockWorkingSetShared(a1, result_6);
}

Referenced by: