Searched defs:malloc (Results 1 - 2 of 2) sorted by relevance

/seL4-l4v-10.1.1/HOL4/polyml/basis/
H A DForeignMemory.sml43 val malloc: word -> voidStar value
226 val malloc: word -> voidStar = ThreadLib.protect lock allocMem value
H A DForeign.sml46 val malloc: word -> voidStar value
[all...]

Completed in 52 milliseconds