MiMarkKernelPageTablePages

VOID __stdcall MiMarkKernelPageTablePages(){
  VOID *v0; 
  _MMSUPPORT_INSTANCE *AnyMultiplexedVm; 
  INT64 v2[22]; 

  memset(v2, 0i64, sizeof(v2));
  LOWORD(v2[0]) = 2305;
  BYTE2(v2[0]) = BYTE2(v2[0]) & 0xE3 | 4;
  v2[19] = (INT64)MiMarkKernelPageTablePte;
  AnyMultiplexedVm = MiGetAnyMultiplexedVm(MiWorkingSetTypeSystemViews, v0);
  *(__m128i *)&v2[4] = _mm_load_si128((const __m128i *)&_xmm_ffffffffffffffffffff800000000000);
  v2[3] = (INT64)AnyMultiplexedVm;
  BYTE6(v2[0]) = 17;
  MiWalkPageTables((INT64)v2);
}

Referenced by: