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

/seL4-l4v-master/HOL4/polyml/basis/
H A DForeignMemory.sml45 val malloc: word -> voidStar value
230 val malloc: word -> voidStar = ThreadLib.protect lock allocMem value
H A DForeign.sml46 val malloc: word -> voidStar value

Completed in 131 milliseconds