Searched refs:jump_to_kernel (Results 1 – 1 of 1) sorted by relevance
255 jump_to_kernel(u_long *marks, char *kernel, char *args, void *ofw, in jump_to_kernel() function394 jump_to_kernel(marks, kernel, bootline, ofw, boothowto); in start_kernel()