Searched defs:cp (Results 1 - 13 of 13) sorted by relevance
| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | parse_enum.c | 15 int f(enum hue *cp) argument
|
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/milner/ |
| H A D | milner.cxx | 31 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp) argument
120 bdd* cp = new bdd[N]; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/buddy/examples/cmilner/ |
| H A D | milner.c | 34 bdd transitions(bdd* t, bdd* tp, bdd* h, bdd* hp, bdd* c, bdd* cp) argument
229 bdd *c, *cp, *h, *hp, *t, *tp; local
[all...] |
| /seL4-l4v-10.1.1/HOL4/tools/ |
| H A D | buildutils.sig | 28 val cp : bool -> string -> string -> unit value
|
| H A D | buildutils.sml | 423 fun cp b = if b then update_copy bincopy else update_copy copy function
|
| /seL4-l4v-10.1.1/HOL4/examples/HolCheck/examples/ |
| H A D | ttt.sml | 92 val cp = if (String.compare(String.substring(x,0,1),"u")=EQUAL) value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | objsize.cpp | 324 PolyWord *cp; local
|
| H A D | exporter.cpp | 763 PolyWord *cp; local
|
| H A D | pexport.cpp | 184 PolyWord *cp; local
|
| H A D | Console.cpp | 1118 CopyPipe *cp = (CopyPipe *)lpParameter; local
1194 CopyPipe *cp = new CopyPipe(); local
|
| H A D | globals.h | 333 void GetConstSegmentForCode(POLYUNSIGNED obj_length, PolyWord * &cp, POLYUNSIGNED &count) const argument
339 void GetConstSegmentForCode(PolyWord * &cp, POLYUNSIGNED &count) const argument
341 GetConstSegmentForCode(Length(), cp, count); local
345 PolyWord *cp; POLYUNSIGNED count; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
| H A D | Message.sml | 167 val (cp,inst,menu,parent, cy,cx,y,x, style, name,class, extendedstyle) = toMLCreate lp value
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ |
| H A D | dlmalloc.c | 3255 char* cp = (char*)CALL_MREMAP((char*)oldp - offset, local
|
Completed in 219 milliseconds