/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/ |
H A D | ptr_auxupd.c | 11 int alloc(int *p) function
|
H A D | factorial.c | 14 \<acute>ret__ptr_to_unsigned_long :== PROC alloc() 19 unsigned long *alloc(void) function 49 p = alloc(); 65 p = alloc();
|
H A D | kmalloc.c | 60 void * alloc (word_t size); 123 void * alloc(word_t size) function 216 p = alloc(size);
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/ |
H A D | alloc_simp.c | 37 alloc(struct heap* heap, word_t bytes){ function 54 printf("%p\n", alloc(h, 1)); 60 int *x = alloc(h, 0x10); 62 int *y = alloc(h, 0xffffffff); 68 ptr = alloc(h, 4); 82 void* null = alloc(h, 1);
|
H A D | alloc_lite.h | 51 void *alloc(struct heap *heap, word_t size);
|
H A D | alloc_lite.c | 66 * Provides a user wrapper for alloc. 76 void* chunk = alloc(heap, size + 8); 89 alloc(struct heap* heap, word_t size) function
|
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/ |
H A D | alloc.h | 49 void *alloc(struct heap *heap, word_t size, word_t alignment_bits);
|
H A D | kmalloc.c | 60 void * alloc (word_t size); 123 void * alloc(word_t size) function 216 p = alloc(size);
|
H A D | alloc.c | 11 #include "alloc.h" 69 alloc(struct heap *heap, word_t size, word_t alignment_bits) function
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/ |
H A D | ffi.c | 195 void *alloc = NULL; local 208 alloc = alloca(ALIGN(rsize, 4)); 209 ecif.rvalue = alloc; 221 if (alloc != NULL && rvalue != NULL) 222 memcpy(rvalue, alloc, rsize);
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/ |
H A D | run_time.h | 56 extern PolyObject *alloc(TaskData *taskData, POLYUNSIGNED words, unsigned flags = 0);
|
H A D | polystring.cpp | 62 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, 1, F_BYTE_OBJ)); 76 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, WORDS(buffLen) + 1, F_BYTE_OBJ)); 150 PolyStringObject *result = (PolyStringObject *)(alloc(mdTaskData, WORDS(outputLen) + 1, F_BYTE_OBJ));
|
H A D | run_time.cpp | 78 PolyObject *alloc(TaskData *taskData, POLYUNSIGNED data_words, unsigned flags) function 112 return SAVE(alloc(taskData, size, flags));
|
H A D | memmgr.cpp | 110 MemMgr::MemMgr(): allocLock("Memmgr alloc"), codeBitmapLock("Code bitmap") 1026 POLYUNSIGNED alloc = 0, nonAlloc = 0, inAlloc = 0, inNonAlloc = 0; 1032 alloc += sp->spaceSize(); 1046 LogSize(alloc); 1047 Log(" (%1.0f%%). Total space ", (float)inAlloc / (float)alloc * 100.0F);
|
H A D | reals.cpp | 177 PolyObject *v = alloc(mdTaskData, DBLE/sizeof(PolyWord), F_BYTE_OBJ); 598 PolyObject *result = alloc(mdTaskData, 3);
|
/seL4-l4v-10.1.1/HOL4/polyml/basis/ |
H A D | Vector.sml | 34 fun alloc len = RunCall.allocateWordMemory(Word.fromInt len, 0wx40, 0w0) function 81 val vec = alloc length; 101 if length > 0 andalso length < maxLen then alloc length else raise General.Size; 128 val new_vec = alloc total_len 155 val new_vec = alloc len 176 val new_vec = alloc len 286 val new_vec = alloc length 316 val new_vec = alloc total_len 336 val new_vec = alloc length 353 val new_vec = alloc lengt [all...] |
H A D | BoolArray.sml | 43 fun alloc (bits: int) = function 78 val vec = alloc length 104 if length >= 0 then alloc length else raise General.Size; 222 val new_vec = alloc len (* Destination vector. *) 249 val new_vec = alloc len (* Destination vector. *) 293 val new_vec = alloc total_len 381 val vec = alloc len
|
H A D | Array.sml | 60 fun alloc len = function 95 val vec = alloc length 114 else alloc length;
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/sparc/ |
H A D | v8.S | 273 .section ".eh_frame",#alloc 275 .section ".eh_frame",#alloc,#write
|
H A D | v9.S | 233 .section ".eh_frame",#alloc 235 .section ".eh_frame",#alloc,#write
|
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/ |
H A D | Region.sml | 152 val rectarr = alloc count (Cstruct [Clong,Clong,Clong,Clong]) 193 val rgndata = alloc 1 (Cstruct [Clong,Clong,Clong,Clong,
|
H A D | Brush.sml | 91 val va2 = address (alloc 1 ctype2)
|
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/ |
H A D | unix.S | 54 alloc loc0 = ar.pfs, 4, 3, 8, 0 284 alloc loc0 = ar.pfs, 8, 4, 4, 0
|
/seL4-l4v-10.1.1/HOL4/examples/muddy/muddyC/ |
H A D | muddy.c | 14 #include <mosml/alloc.h> 73 stolen from alloc.c 483 result = n < Max_young_wosize ? alloc(n, 0) : alloc_shr(n, 0); 763 result = n < Max_young_wosize ? alloc(n, 0) : alloc_shr(n, 0);
|
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/ |
H A D | regAlloc.sml | 176 fun alloc cont regenv x = function 347 case (alloc cont' regenv1 x)
|