Searched refs:bi_kernelname (Results 1 – 2 of 2) sorted by relevance
81 unsigned char *bi_kernelname; member
947 bi.bi_kernelname = arg + 1; in bsd_boot()949 bi.bi_kernelname = 0; in bsd_boot()