VfUtilAddressRangeAdd

UINT64 __fastcall VfUtilAddressRangeAdd(UINT64 *a1, UINT64 a2, INT64 a3){
  UINT64 result; 
  if( !*a1 )
  {
    *a1 = a2;
    result = a2 + a3;
LABEL_6:
    a1[1] = result;
    return result;
  }
  if( a2 < *a1 )
    *a1 = a2;
  result = a2 + a3;
  if( a2 + a3 > a1[1] )
    goto LABEL_6;
  return result;
}

Referenced by:

VfIrpDatabaseEntryInsertAndLock
ViDeadlockAddResource
ViDeadlockAddThread