pa_start           12 kernel/kalloc.c void freerange(void *pa_start, void *pa_end);
pa_start           34 kernel/kalloc.c freerange(void *pa_start, void *pa_end)
pa_start           37 kernel/kalloc.c   p = (char*)PGROUNDUP((uint64)pa_start);