Searched refs:bvec_mulfixed (Results 1 - 3 of 3) sorted by relevance

/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dbvec.h95 extern BVEC bvec_mulfixed(BVEC e, int c);
162 friend bvec bvec_mulfixed(const bvec &e, int c);
188 bvec operator*(int a) const { return bvec_mulfixed(*this, a); }
235 inline bvec bvec_mulfixed(const bvec &e, int c) function
236 { return bvec_mulfixed(e.roots, c); }
H A Dbvec.c646 PROTO {* bvec bvec_mulfixed(bvec e, int c) *}
652 bvec bvec_mulfixed(bvec e, int c) function
671 rest = bvec_mulfixed(next, c>>1);
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/
H A Dmuddy.c940 return mlbdd_make_bvec(bvec_mulfixed(BVEC_val(s1), Int_val(con)));

Completed in 34 milliseconds