Searched refs:nBig (Results 1 – 1 of 1) sorted by relevance
107 static Bool is_subinterval_of ( Addr aBig, SizeT nBig, in is_subinterval_of() argument109 tl_assert(nBig > 0 && nSmall > 0); in is_subinterval_of()110 return aBig <= aSmall && aSmall + nSmall <= aBig + nBig; in is_subinterval_of()