KeAcquireQueuedSpinLockRaiseToSynch

UINT8 __stdcall KeAcquireQueuedSpinLockRaiseToSynch(_KSPIN_LOCK_QUEUE_NUMBER Number){
  UINT8 CurrentIrql; 
  _KSPIN_LOCK_QUEUE *v2; 

  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xCui64);
  v2 = (_KSPIN_LOCK_QUEUE *)((char *)KeGetPcr()->NtTib.ArbitraryUserPointer + 16 * *(_QWORD *)&Number);
  KxAcquireQueuedSpinLock(v2, v2->Lock);
  return CurrentIrql;
}

Referenced by:

VerifierKeAcquireQueuedSpinLockRaiseToSynch