Searched refs:fileTable_inRange (Results 1 – 1 of 1) sorted by relevance
74 static bool fileTable_inRange (fileTable ft, fileId fid) /*@*/ in fileTable_inRange() function435 llassert (fileTable_isDefined (ft) && fileTable_inRange (ft, fid)); in fileTable_isHeader()447 llassert (fileTable_isDefined (ft) && fileTable_inRange (ft, fid)); in fileTable_isSystemFile()459 if (!(fileTable_isDefined (ft) && fileTable_inRange (ft, fid))) in fileTable_isXHFile()478 llassert (fileTable_isDefined (ft) && fileTable_inRange (ft, fid)); in fileTable_isSpecialFile()