Searched refs:freerange (Results 1 – 1 of 1) sorted by relevance
12 void freerange(void *vstart, void *vend);36 freerange(vstart, vend); in kinit1()42 freerange(vstart, vend); in kinit2()47 freerange(void *vstart, void *vend) in freerange() function