Searched refs:bi_kernelname (Results 1 – 6 of 6) 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()
247 bi.bi_kernelname = 0; /* XXX char * -> kernel name */ in bi_load32()259 bi.bi_kernelname = VTOP(kernelpath); in bi_load32()
50 u_int32_t bi_kernelname; /* represents a char * */ member
435 bootinfo.bi_kernelname = VTOP(kname); in load()
479 bootinfo.bi_kernelname = VTOP(kname); in load()