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