RtlpFcBufferManagerDereferenceBuffers

VOID __fastcall RtlpFcBufferManagerDereferenceBuffers(volatile INT64 *a1, INT64 a2){
  unsigned __int64 v2; 
  PVOID v3; 
  v2 = (__int64)((unsigned __int128)((a2 - (__int64)a1 - 24) * (__int128)0xE38E38E38E38E39i64) >> 64) >> 2;
  RtlReleaseSwapReference(a1, (v2 >> 63) + v2);
  RtlpFcLeaveRegion(v3);
}

Referenced by: