Searched refs:startkernel (Results 1 – 1 of 1) sorted by relevance
135 void initppc(u_int startkernel, u_int endkernel, char *args);138 initppc(u_int startkernel, u_int endkernel, char *args) in initppc() argument168 pmap_bootstrap(startkernel, endkernel); in initppc()