Searched refs:m_morecore_range (Results 1 - 2 of 2) sorted by relevance

/seL4-camkes-master/projects/camkes/apps/testsingleaddressspaceheap/
H A Dclient.c15 m_morecore_range((uintptr_t)morecore_area, morecore_size);
H A Dserver.c16 void m_morecore_range(uintptr_t base, size_t size) { function

Completed in 27 milliseconds