Searched defs:startS (Results 1 - 2 of 2) sorted by relevance
/seL4-l4v-master/HOL4/polyml/libpolyml/ |
H A D | memmgr.cpp | 1118 void MemMgr::AddTree(MemSpace *space, PolyWord *startS, PolyWord *endS) argument 1125 void MemMgr::RemoveTree(MemSpace *space, PolyWord *startS, PolyWord *endS) argument 1132 void MemMgr::AddTreeRange(SpaceTree **tt, MemSpace *space, uintptr_t startS, uintptr_t endS) argument [all...] |
H A D | savestate.cpp | 949 void LoadRelocate::AddTreeRange(SpaceBTree **tt, unsigned index, uintptr_t startS, uintptr_t endS) argument
|
Completed in 48 milliseconds