Searched refs:kernel_filename (Results 1 – 1 of 1) sorted by relevance
1976 int kernel_execve(const char *kernel_filename, in kernel_execve() argument1988 filename = getname_kernel(kernel_filename); in kernel_execve()