pa_end             12 kernel/kalloc.c void freerange(void *pa_start, void *pa_end);
pa_end             34 kernel/kalloc.c freerange(void *pa_start, void *pa_end)
pa_end             38 kernel/kalloc.c   for(; p + PGSIZE <= (char*)pa_end; p += PGSIZE)