MiPreInitializeSystemImagePage

VOID __stdcall MiPreInitializeSystemImagePage(_MMPFN *Pfn1){
  UINT8 v2; 
  char v3; 
  unsigned __int64 v4; 
  char v5; 

  v2 = MiLockPageInline(Pfn1);
  v3 = *((_BYTE *)&Pfn1->u3 + 2);
  Pfn1->u4._bf_0 &= ~0x8000000000000000ui64;
  v4 = v2;
  *((_BYTE *)&Pfn1->u3 + 2) = v3 & 0xF8 | 5;
  Pfn1->u2._bf_0 &= 0xC000000000000000ui64;
  v5 = *(_BYTE *)(&Pfn1->u3 + 1) & 0xC7;
  Pfn1->u3.ReferenceCount = 0;
  *((_BYTE *)&Pfn1->u3 + 2) = v5;
  *((_BYTE *)&Pfn1->u3 + 3) &= ~0x20u;
  _InterlockedAnd64(&Pfn1->u2.Lock, 0x7FFFFFFFFFFFFFFFui64);
  __writecr8(v4);
}

Referenced by: