PpmReleaseLock

VOID __fastcall PpmReleaseLock(INT64 *a1){
  INT64 v1; 
  v1 = *a1;
  *a1 = 0i64;
  KeSetEvent((PRKEVENT)(a1 + 1), 0);
  if( v1 )
    KiLeaveGuardedRegionUnsafe((__int64)KeGetCurrentThread());
}

Referenced by: