Searched refs:intptr_t (Results 1 - 15 of 15) sorted by relevance
| /seL4-l4v-master/HOL4/polyml/libpolyml/ |
| H A D | interpret.cpp | 370 typedef POLYUNSIGNED(*callFastRts1)(intptr_t);
371 typedef POLYUNSIGNED(*callFastRts2)(intptr_t, intptr_t);
372 typedef POLYUNSIGNED(*callFastRts3)(intptr_t, intptr_t, intptr_t);
373 typedef POLYUNSIGNED(*callFastRts4)(intptr_t, intptr_t, intptr_t, intptr_t);
[all...] |
| H A D | scanaddrs.cpp | 254 intptr_t newDisp = (byte*)p - addressOfConstant - 4;
256 ASSERT(newDisp < (intptr_t)0x80000000 && newDisp >= -(intptr_t)0x80000000);
|
| H A D | winstartup.cpp | 503 (LPTSTR)(intptr_t)atClass,
|
| H A D | globals.h | 76 typedef intptr_t POLYSIGNED;
|
| H A D | basicio.cpp | 202 return *(intptr_t*)(strm.AsObjPtr()) -1;
256 *(intptr_t*)(stream->WordP()) = 0; // Mark as closed
|
| H A D | winguiconsole.cpp | 660 (LPTSTR)(intptr_t)atClass,
|
| H A D | process_env.cpp | 546 intptr_t pid = _tspawnvp(_P_NOWAIT, argv[0], argv);
|
| H A D | savestate.cpp | 938 intptr_t relativeOffset;
|
| /seL4-l4v-master/l4v/camkes/glue-proofs/ |
| H A D | DataIn.c | 82 intptr_t typedef
|
| H A D | EventFrom.c | 94 intptr_t typedef
|
| H A D | EventTo.c | 94 intptr_t typedef
|
| H A D | RPCTo.c | 94 intptr_t typedef
|
| H A D | RPCFrom.c | 95 intptr_t typedef
|
| /seL4-l4v-master/HOL4/polyml/ |
| H A D | winconfig.h | 125 /* Define to 1 if the system has the type `intptr_t'. */
707 #undef intptr_t macro
|
| /seL4-l4v-master/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver443.c | 12 typedef int intptr_t; typedef
|
Completed in 213 milliseconds