kinit2             70 defs.h         void            kinit2(void*, void*);
kinit2             35 main.c           kinit2(P2V(4*1024*1024), P2V(PHYSTOP)); // must come after startothers()