MiLockVadShared

INT64 __fastcall MiLockVadShared(INT64 a1, INT64 a2){
  INT64 result; 
  --*(_WORD *)(a1 + 486);
  result = ExAcquirePushLockSharedEx(a2 + 40, 0i64);
  *(_BYTE *)(a1 + 1305) |= 0x40u;
  return result;
}

Referenced by:

MiFinishPlaceholderVadReplacement
MiHotPatchImage
MiHotPatchProcess
MiSetImageHotPatchAllowed
MmEnumerateAddressSpaceAndReferenceImages
MmIsFileMapped
MmQueryVirtualMemory
NtAreMappedFilesTheSame