freerange          12 kalloc.c       void freerange(void *vstart, void *vend);
freerange          35 kalloc.c         freerange(vstart, vend);
freerange          41 kalloc.c         freerange(vstart, vend);