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