Searched defs:bvec_coerce (Results 1 - 2 of 2) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/ | ||
| H A D | bvec.c | 271 bvec bvec_coerce(int bitnum, bvec v) function |
| H A D | bvec.h | 217 inline bvec bvec_coerce(int bitnum, const bvec &v) function |
Completed in 37 milliseconds