VOID __stdcall PopPepWaitForDeviceRelease(_POP_PEP_DEVICE *Device){
INT64 *v1;
unsigned __int64 v2;
v1 = (INT64 *)(Device + 16);
v2 = (unsigned __int8)ExAcquireSpinLockExclusive((INT64 *)Device + 8);
ExReleaseSpinLockExclusiveFromDpcLevel(v1);
__writecr8(v2);
}