Searched defs:aa (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/
H A Dstruct2.c37 aa(struct word_struct word_struct) { function
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dparse_complit.c84 int aa[] = {1,2,3,[10] = 6}; local
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dhuge_struct.c43 uint16_t aa; 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/ARM/v7/
H A Darm_random_testingLib.sml887 val aa = String.concat ["ARCH ", a, "\n "] value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/graph/
H A Dderive_specsLib.sml336 val aa = (hd o tl o snd o dest_type) ty value
/seL4-l4v-10.1.1/HOL4/examples/machine-code/decompiler/
H A DdecompilerLib.sml394 val aa = (hd o tl o snd o dest_type) ty value

Completed in 188 milliseconds