Searched refs:kernelname (Results 1 – 6 of 6) sorted by relevance
144 char kernelname[MAXPATHLEN] = PATH_KERNEL; /* XXX bloat */ variable147 kernelname, sizeof kernelname, "Name of kernel file booted");
247 movl $kernelname,%edi
63 extern char kernelname[MAXPATHLEN];
900 strlcpy(kernelname, env, sizeof(kernelname)); in initarm()
1342 strlcpy(kernelname, env, sizeof(kernelname)); in initarm()
1928 strlcpy(kernelname, env, sizeof(kernelname)); in hammer_time()