freerange          12 kernel/kalloc.c void freerange(void *pa_start, void *pa_end);
freerange          30 kernel/kalloc.c   freerange(end, (void*)PHYSTOP);