| /seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
| H A D | jiraver550.c | 14 int words[2]; member in struct:cap
|
| H A D | bug_mvt20110302.c | 15 uint32_t words[2]; member in struct:cap
20 uint32_t words[2]; member in struct:mdb_node
|
| H A D | ptr_modifies.c | 14 uint32_t words[1]; member in struct:foo
|
| H A D | parse_complit.c | 89 int words[1]; member in struct:sjwbar
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/parse-tests/ |
| H A D | big_bit_ops.c | 23 unsigned long words[2]; member in struct:word_struct
|
| /seL4-l4v-10.1.1/l4v/tools/autocorres/tests/proof-tests/ |
| H A D | struct2.c | 16 unsigned long words[2]; member in struct:word_struct
[all...] |
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
| H A D | gc.cpp | 354 QuickGCRequest(POLYUNSIGNED words): MainThreadRequest(MTP_GCPHASEMARK), wordsRequired(words) {} argument
|
| H A D | run_time.cpp | 81 POLYUNSIGNED words = data_words + 1; local
|
| H A D | exporter.cpp | 124 const POLYUNSIGNED words = OBJ_OBJECT_LENGTH(lengthWord) + 1; // Include length word local
324 POLYUNSIGNED words = OBJ_OBJECT_LENGTH(lengthWord); local
[all...] |
| H A D | gc_share_phase.cpp | 370 POLYUNSIGNED words = OBJ_OBJECT_LENGTH(s->lengthWord); local
[all...] |
| H A D | pexport.cpp | 412 PolyObject *PImport::NewObject(POLYUNSIGNED words, bool isMutableObj) argument
|
| H A D | memmgr.cpp | 247 PermanentMemSpace* MemMgr::NewPermanentSpace(PolyWord *base, POLYUNSIGNED words, argument
496 void MemMgr::FillUnusedSpace(PolyWord *base, POLYUNSIGNED words) argument
737 CheckForAllocation(POLYUNSIGNED words) argument
747 RemoveExcessAllocation(POLYUNSIGNED words) argument
[all...] |
| H A D | memmgr.h | 225 PolyWord *AllocHeapSpace(POLYUNSIGNED words) argument
294 void SetReservation(POLYUNSIGNED words) { reservedSpac argument
[all...] |
| H A D | interpret.cpp | 147 virtual void addProfileCount(POLYUNSIGNED words) { add_count(this, taskPc, words); } argument
155 PolyObject *allocateMemory(POLYUNSIGNED words, POLYCODEPTR &pc, PolyWord *&sp) argument
851 POLYUNSIGNED words = arg1; pc += 2; local
[all...] |
| H A D | processes.cpp | 1019 PolyWord *Processes::FindAllocationSpace(TaskData *taskData, POLYUNSIGNED words, bool alwaysInSeg) argument
[all...] |
| H A D | x86_dep.cpp | 203 virtual void addProfileCount(POLYUNSIGNED words) argument
|
| /seL4-l4v-10.1.1/HOL4/polyml/basis/ |
| H A D | LibrarySupport.sml | 146 val words : word = value
167 val words : word = (charsW + 0w2 * wordSize - 0w1) div wordSize value
|
| H A D | BoolArray.sml | 45 val words : word = value
|
| /seL4-l4v-10.1.1/l4v/tools/asmrefine/testfiles/ |
| H A D | global_array_swap.c | 16 uint32_t words[2]; member in struct:blob
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/powerpc/ |
| H A D | ffi_linux64.c | 399 unsigned int i, words, nargs, nfixedargs; local
|
| /seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/x86/ |
| H A D | ffi64.c | 215 size_t words = (type->size + UNITS_PER_WORD - 1) / UNITS_PER_WORD; local
|
| /seL4-l4v-10.1.1/seL4/include/arch/arm/arch/32/mode/object/ |
| H A D | structures.h | 93 word_t words[BIT(ARMSmallPageBits) / sizeof(word_t)]; member in struct:user_data
99 word_t words[BIT(ARMSmallPageBits) / sizeof(word_t)]; member in struct:user_data_device
|
| /seL4-l4v-10.1.1/seL4/include/arch/x86/arch/object/ |
| H A D | structures.h | 45 word_t words[BIT(seL4_PageBits) / sizeof(word_t)]; member in struct:user_data
51 word_t words[BIT(seL4_PageBits) / sizeof(word_t)]; member in struct:user_data_device
|
| /seL4-l4v-10.1.1/l4v/camkes/glue-proofs/ |
| H A D | EventFrom.c | 262 words member in struct:seL4_MessageInfo
378 words member in struct:seL4_CapData
|
| H A D | EventTo.c | 262 words member in struct:seL4_MessageInfo
278 words member in struct:seL4_CapData
|