Searched refs:kernfile (Results 1 – 4 of 4) sorted by relevance
66 kernfile=$(kernel_file)67 if [ ! -f "$kernfile" -o ! -r "$kernfile" ] ; then70 what -qs "$kernfile" | sed -n "s/$KERNEL_RE/\\1/p"
58 asf_kvm(const char *kernfile, const char *corefile) in asf_kvm() argument69 kd = kvm_openfiles(kernfile, corefile, NULL, O_RDONLY, errbuf); in asf_kvm()
41 void asf_kvm(const char *kernfile, const char *corefile);
125 char *kernfile; in main() local130 kernfile = NULL; in main()170 kernfile = optarg; in main()179 if (kernfile != NULL) { in main()180 kernconfdump(kernfile); in main()