MiMarkHiberNotCachedPages

VOID __stdcall MiMarkHiberNotCachedPages(PVOID Context, MMPTE *PointerPte, MMPTE *LastPte, UINT64 LargePage){
  CHAR *AnyMultiplexedVm; 
  _WORD result[3]; 
  char result_6; 
  CHAR *v7; 
  __m128i si128; 
  INT64(__fastcall *v9)(INT64, INT64, INT64); 
  memset((INT64)result, 0i64);
  result[0] = 2817;
  v9 = MiMarkHiberNotCachedPte;
  AnyMultiplexedVm = MiGetAnyMultiplexedVm(3i64);
  si128 = _mm_load_si128((const __m128i *)&_xmm_ffffffffffffffffffff800000000000);
  v7 = AnyMultiplexedVm;
  result_6 = 17;
  MiWalkPageTables((INT64)result);
}

Referenced by: