Searched defs:alloc (Results 1 - 13 of 13) sorted by relevance

/seL4-l4v-10.1.1/l4v/tools/c-parser/testfiles/
H A Dptr_auxupd.c11 int alloc(int *p) function
H A Dfactorial.c19 unsigned long *alloc(void) function
H A Dkmalloc.c123 void * alloc(word_t size) function
/seL4-l4v-10.1.1/l4v/tools/autocorres/experiments/alloc-proof/
H A Dalloc_simp.c37 alloc(struct heap* heap, word_t bytes){ function
H A Dalloc_lite.c89 alloc(struct heap* heap, word_t size) function
/seL4-l4v-10.1.1/l4v/tools/autocorres/tests/examples/
H A Dalloc.c69 alloc(struct heap *heap, word_t size, word_t alignment_bits) function
H A Dkmalloc.c123 void * alloc(word_t size) function
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/src/xtensa/
H A Dffi.c195 void *alloc = NULL; local
/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DArray.sml60 fun alloc len = function
H A DBoolArray.sml43 fun alloc (bits: int) = function
H A DVector.sml34 fun alloc len = RunCall.allocateWordMemory(Word.fromInt len, 0wx40, 0w0) function
[all...]
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A Drun_time.cpp78 PolyObject *alloc(TaskData *taskData, POLYUNSIGNED data_words, unsigned flags) function
/seL4-l4v-10.1.1/HOL4/examples/dev/sw2/
H A DregAlloc.sml176 fun alloc cont regenv x = function

Completed in 118 milliseconds