Searched defs:kernelname (Results 1 – 3 of 3) sorted by relevance
134 char kernelname[MAXPATHLEN] = "/kernel"; /* XXX bloat */ variable
193 char *kernelname; in autoboot() local
146 char *kernelname; in bi_load32() local