Searched refs:bvecbitnum_val (Results 1 - 1 of 1) sorted by relevance
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ | ||
| H A D | muddy.c | 845 #define bvecbitnum_val(x) (((int*) (x)) [1]) macro 850 t.bitnum=bvecbitnum_val(obj); 868 bvecbitnum_val(res) = v.bitnum; |
Completed in 62 milliseconds