Searched refs:alloc (Results 1 - 25 of 31) sorted by relevance

12

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dptr_auxupd.c11 int alloc(int *p) function
H A Dfactorial.c14 \<acute>ret__ptr_to_unsigned_long :== PROC alloc()
19 unsigned long *alloc(void) function
49 p = alloc();
65 p = alloc();
H A Dkmalloc.c60 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 Dalloc_simp.c37 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 Dalloc_lite.h51 void *alloc(struct heap *heap, word_t size);
H A Dalloc_lite.c66 * 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 Dalloc.h49 void *alloc(struct heap *heap, word_t size, word_t alignment_bits);
H A Dkmalloc.c60 void * alloc (word_t size);
123 void * alloc(word_t size) function
216 p = alloc(size);
H A Dalloc.c11 #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 Dffi.c195 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 Drun_time.h56 extern PolyObject *alloc(TaskData *taskData, POLYUNSIGNED words, unsigned flags = 0);
H A Dpolystring.cpp62 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 Drun_time.cpp78 PolyObject *alloc(TaskData *taskData, POLYUNSIGNED data_words, unsigned flags) function
112 return SAVE(alloc(taskData, size, flags));
H A Dmemmgr.cpp110 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 Dreals.cpp177 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 DVector.sml34 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 DBoolArray.sml43 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 DArray.sml60 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 Dv8.S273 .section ".eh_frame",#alloc
275 .section ".eh_frame",#alloc,#write
H A Dv9.S233 .section ".eh_frame",#alloc
235 .section ".eh_frame",#alloc,#write
/seL4-l4v-10.1.1/HOL4/polyml/mlsource/extra/Win/
H A DRegion.sml152 val rectarr = alloc count (Cstruct [Clong,Clong,Clong,Clong])
193 val rgndata = alloc 1 (Cstruct [Clong,Clong,Clong,Clong,
H A DBrush.sml91 val va2 = address (alloc 1 ctype2)
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/ia64/
H A Dunix.S54 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 Dmuddy.c14 #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 DregAlloc.sml176 fun alloc cont regenv x = function
347 case (alloc cont' regenv1 x)

Completed in 215 milliseconds

12