UINT64 __stdcall KxWaitForLockOwnerShipWithIrql(KSPIN_LOCK_QUEUE *LockQueue, KSPIN_LOCK_QUEUE *TailQueue){
UINT64 v2;
UINT64 SpinCount;
SpinCount = v2;
LockQueue->Lock = (unsigned __int64 *volatile)((unsigned __int64)LockQueue->Lock | 1);
LODWORD(SpinCount) = 0;
TailQueue->Next = LockQueue;
do
KeYieldProcessorEx(&SpinCount);
while( ((__int64)LockQueue->Lock & 1) != 0 );
return(unsigned int)SpinCount;
}