Searched refs:BitVector_rotate_right (Results 1 – 2 of 2) sorted by relevance
298 boolean /*@alt void@*/ BitVector_rotate_right (wordptr addr);
2336 boolean BitVector_rotate_right(wordptr addr) in BitVector_rotate_right() function