vstart             12 kalloc.c       void freerange(void *vstart, void *vend);
vstart             31 kalloc.c       kinit1(void *vstart, void *vend)
vstart             35 kalloc.c         freerange(vstart, vend);
vstart             39 kalloc.c       kinit2(void *vstart, void *vend)
vstart             41 kalloc.c         freerange(vstart, vend);
vstart             46 kalloc.c       freerange(void *vstart, void *vend)
vstart             49 kalloc.c         p = (char*)PGROUNDUP((uint)vstart);