Searched refs:kernel_filename (Results 1 – 2 of 2) sorted by relevance
1 setenv kernel_filename "Image"6 fatload mmc 0:1 ${kernel_addr_r} ${kernel_filename}
1951 int kernel_execve(const char *kernel_filename, in kernel_execve() argument1959 filename = getname_kernel(kernel_filename); in kernel_execve()