Searched refs:bvconst_urem2 (Results 1 – 2 of 2) sorted by relevance
446 extern void bvconst_urem2(uint32_t *bv, uint32_t n, uint32_t *a1, uint32_t *a2);
1830 void bvconst_urem2(uint32_t *bv, uint32_t n, uint32_t *a1, uint32_t *a2) { in bvconst_urem2() function1904 bvconst_urem2(bv, n, a1, a2); in bvconst_urem2z()