PsReleaseProcessWakeCounter

VOID __stdcall PsReleaseProcessWakeCounter(VOID *Reference, UINT64 Tag){
  int v2; 
  CHAR v4; 
  INT64 v5; 

  v2 = (unsigned __int8)Reference & 7;
  v4 = 0;
  if( v2 != 7 )
    v4 = (unsigned __int8)Reference & 7;
  v5 = 2i64;
  if( v2 != 7 )
    v5 = 0i64;
  PspChargeProcessWakeCounter((unsigned __int64)Reference & 0xFFFFFFFFFFFFFFF8ui64, v5, v4, Tag);
}

Referenced by: