Searched refs:BitVector_Interval_Empty (Results 1 – 2 of 2) sorted by relevance
198 void BitVector_Interval_Empty (/*@out@*/ wordptr addr, N_int lower, N_int upper);
739 void BitVector_Interval_Empty(wordptr addr, N_int lower, N_int upper) in BitVector_Interval_Empty() function2473 if (clear) BitVector_Interval_Empty(addr,offset,(last-1)); in BitVector_Insert()2490 if (clear) BitVector_Interval_Empty(addr,(bits-count),(bits-1)); in BitVector_Delete()