MiInitializePageFaultPacket

INT64 __fastcall MiInitializePageFaultPacket(INT64 a1, UINT64 a2, CHAR a3, INT64 a4, INT64 a5){
  int v6; 
  int v9; 
  INT64 result; 
  v6 = a3;
  memset(a5 + 24, 0i64);
  MiFillPteHierarchy(a2, (UINT64 *)(a5 + 24));
  if( (a1 & 0x40) != 0 )
  {
    *(_DWORD *)(a5 + 80) |= 0x20u;
    a1 &= ~2ui64;
  }
  *(_QWORD *)(a5 + 8) = a1;
  v9 = *(_DWORD *)(a5 + 80) ^ (v6 << 6);
  *(_QWORD *)a5 = a2;
  result = v9 & 0x40;
  *(_DWORD *)(a5 + 80) ^= result;
  *(_QWORD *)(a5 + 16) = a4;
  return result;
}

Referenced by: