ViHalTrackDomainCommonBuffer

__int64 __fastcall ViHalTrackDomainCommonBuffer(__int64 *a1){
  unsigned __int64 v2; 
  __int64 v3; 
  __int64 result; 

  v2 = (unsigned __int8)KeAcquireSpinLockRaiseToDpc(&qword_140D49370);
  v3 = ViDomainCommonBufferList;
  if( *(__int64 **)(ViDomainCommonBufferList + 8) != &ViDomainCommonBufferList )
    __fastfail(3u);
  a1[1] = (__int64)&ViDomainCommonBufferList;
  *a1 = v3;
  *(_QWORD *)(v3 + 8) = a1;
  ViDomainCommonBufferList = (__int64)a1;
  KxReleaseSpinLock(&qword_140D49370);
  result = (unsigned int)KiIrqlFlags;
  __writecr8(v2);
  return result;
}

Referenced by:

VfAllocateDomainCommonBuffer