freerange          12 kalloc.c       void freerange(void *vstart, void *vend);
freerange          36 kalloc.c         freerange(vstart, vend);
freerange          42 kalloc.c         freerange(vstart, vend);