vstart             12 kalloc.c       void freerange(void *vstart, void *vend);
vstart             32 kalloc.c       kinit1(void *vstart, void *vend)
vstart             36 kalloc.c         freerange(vstart, vend);
vstart             40 kalloc.c       kinit2(void *vstart, void *vend)
vstart             42 kalloc.c         freerange(vstart, vend);
vstart             47 kalloc.c       freerange(void *vstart, void *vend)
vstart             50 kalloc.c         p = (char*)PGROUNDUP((uint)vstart);