Searched refs:kernel_filename (Results 1 – 1 of 1) sorted by relevance
1931 int kernel_execve(const char *kernel_filename, in kernel_execve() argument1939 filename = getname_kernel(kernel_filename); in kernel_execve()
Completed in 7 milliseconds