kinit1             68 defs.h         void            kinit1(void*, void*);
kinit1             20 main.c           kinit1(end, P2V(4*1024*1024)); // phys page allocator