Searched refs:kernfile (Results 1 - 4 of 4) sorted by relevance

/freebsd-10-stable/usr.sbin/asf/
H A Dasf.h39 void asf_kvm(const char *kernfile, const char *corefile);
H A Dasf_kvm.c55 asf_kvm(const char *kernfile, const char *corefile) argument
66 kd = kvm_openfiles(kernfile, corefile, NULL, O_RDONLY, errbuf);
/freebsd-10-stable/bin/freebsd-version/
H A Dfreebsd-version.sh.in66 kernfile=$(kernel_file)
67 if [ ! -f "$kernfile" -o ! -r "$kernfile" ] ; then
70 what -qs "$kernfile" | sed -n "s/$KERNEL_RE/\\1/p"
/freebsd-10-stable/usr.sbin/config/
H A Dmain.c112 char *kernfile; local
117 kernfile = NULL;
151 kernfile = optarg;
160 if (kernfile != NULL) {
161 kernconfdump(kernfile);

Completed in 64 milliseconds