Searched defs:bb (Results 1 - 5 of 5) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Dstruct2.c25 bb(struct word_struct word_struct) { function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dhuge_struct.c44 int16_t bb; member in struct:BigStruct
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/src/
H A Dreorder.c615 static int siftTestCmp(const void *aa, const void *bb) argument
1708 static int varseqCmp(const void *aa, const void *bb) argument
/seL4-l4v-10.1.1/HOL4/examples/HolCheck/
H A DmuCheck.sml485 val bb = BddOp(opr,b1,b2) value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Drealconv.cpp2575 Bigint *bb, *bb1, *bd, *bd0, *bs, *delta; variable
2930 Bfree(bb); variable
3125 Bfree(bb); variable
3569 Bfree(bb); variable
3574 Bfree(bb); variable
[all...]

Completed in 75 milliseconds