RtlpFcBufferManagerDereferenceBuffers

VOID __stdcall RtlpFcBufferManagerDereferenceBuffers(INT64 *a1, INT64 a2){
  _INTERRUPT_VECTOR_DATA *v2; 
  unsigned __int64 v3; 

  v3 = (__int64)((unsigned __int128)((a2 - (__int64)a1 - 24) * (__int128)0xE38E38E38E38E39i64) >> 64) >> 2;
  RtlReleaseSwapReference((_KINTERRUPT **)a1, (v3 >> 63) + v3, v2);
  RtlpFcLeaveRegion();
}

Referenced by: