KeAcquireInStackQueuedSpinLockRaiseToSynch

INT8 __fastcall KeAcquireInStackQueuedSpinLockRaiseToSynch(INT64 *a1, INT64 a2, INT64 a3){
  unsigned __int8 CurrentIrql; 
  INT8 result; 

  *(_QWORD *)a2 = 0i64;
  *(_QWORD *)(a2 + 8) = a1;
  CurrentIrql = KeGetCurrentIrql();
  __writecr8(0xCui64);
  *(_BYTE *)(a2 + 16) = CurrentIrql;
  KxAcquireQueuedSpinLock((_KSPIN_LOCK_QUEUE *)a2, (UINT64 *)a1);
  return result;
}

Referenced by:

VerifierKeAcquireInStackQueuedSpinLockRaiseToSynchCommon