VOID __stdcall HalpReleaseHighLevelLock(UINT64 *SpinLock, UINT64 OldIrql){ unsigned __int64 v2; v2 = (unsigned __int8)OldIrql; KxReleaseSpinLock(SpinLock); __writecr8(v2); }