Searched refs:okernel (Results 1 – 2 of 2) sorted by relevance
16 int new_linux_kernel(char *okernel, char *ocmdline) in new_linux_kernel() argument26 dprintf("okernel = %s, ocmdline = %s", okernel, ocmdline); in new_linux_kernel()28 if (okernel) in new_linux_kernel()29 kernel_name = okernel; in new_linux_kernel()
44 extern int new_linux_kernel(char *okernel, char *ocmdline);