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

/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/
H A Dloop_test.c22 uint *xx = &moop; local
/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Djiraver439.c35 static unsigned xx = 1; local
47 static unsigned xx = 0; local
/seL4-l4v-10.1.1/HOL4/src/quantHeuristics/
H A DquantHeuristicsTools.sml407 val (xx,yy) = vc_asms fvL0 (t::(rev asm)) value
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/libffi.call/
H A Dhuge_struct.c66 int8_t xx; member in struct:BigStruct
/seL4-l4v-10.1.1/HOL4/examples/machine-code/instruction-set-models/arm/
H A Dprog_armLib.sml84 val xx = find_term wordsSyntax.is_word_concat h2 value

Completed in 65 milliseconds