Searched refs:kernfile (Results 1 – 2 of 2) sorted by relevance
65 kernfile=$(kernel_file)66 if [ ! -f "$kernfile" -o ! -r "$kernfile" ] ; then69 what -qs "$kernfile" | sed -n "s/$KERNEL_RE/\\1/p"
116 char *kernfile; in main() local122 kernfile = NULL; in main()174 kernfile = optarg; in main()183 if (kernfile != NULL) { in main()184 kernconfdump(kernfile); in main()