KeAcquireQueuedSpinLockRaiseToSynch

UINT8 __stdcall KeAcquireQueuedSpinLockRaiseToSynch(KSPIN_LOCK_QUEUE_NUMBER Number){
  WORK_QUEUE_TYPE v1; 
  void *v2; 
  UINT8 CurrentIrql; 
  KSPIN_LOCK_QUEUE_NUMBER v4; 
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xCui64);
  v4 = 16 * Number + *((_QWORD *)KeGetPcr() + 5);
  KxAcquireQueuedSpinLock((PIO_WORKITEM)v4, *(PIO_WORKITEM_ROUTINE *)(v4 + 8), v1, v2);
  return CurrentIrql;
}

Referenced by:

VerifierKeAcquireQueuedSpinLockRaiseToSynch