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)