Searched defs:FindAllocationSpace (Results 1 - 1 of 1) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ | ||
H A D | processes.cpp | 955 PolyWord *Processes::FindAllocationSpace(TaskData *taskData, POLYUNSIGNED words, bool alwaysInSeg) function in class:Processes |
Completed in 77 milliseconds