MiPreInitializeSystemImagePage

VOID __stdcall MiPreInitializeSystemImagePage(_MMPFN *Pfn1, _BYTE *a2){
  unsigned __int8 v3; 
  char v4; 
  unsigned __int64 v5; 
  char v6; 
  v3 = MiLockPageInline((INT64)Pfn1);
  v4 = *((_BYTE *)Pfn1 + 34);
  *((_QWORD *)Pfn1 + 5) &= ~0x8000000000000000ui64;
  v5 = v3;
  *((_BYTE *)Pfn1 + 34) = v4 & 0xF8 | 5;
  *((_QWORD *)Pfn1 + 3) &= 0xC000000000000000ui64;
  v6 = *((_BYTE *)Pfn1 + 34) & 0xC7;
  *((_WORD *)Pfn1 + 16) = 0;
  *((_BYTE *)Pfn1 + 34) = v6;
  *((_BYTE *)Pfn1 + 35) &= ~0x20u;
  _InterlockedAnd64((volatile signed __int64 *)Pfn1 + 3, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(v5);
}

Referenced by: