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()
50 u_int32_t bi_kernelname; /* represents a char * */ member
252 bi.bi_kernelname = 0; /* XXX char * -> kernel name */ in bi_load32()264 bi.bi_kernelname = VTOP(kernelpath); in bi_load32()
231 bi.bi_kernelname = 0; /* XXX char * -> kernel name */ in bi_load32()252 bi.bi_kernelname = 0x2000 + sizeof(bi); in bi_load32()
374 bootinfo.bi_kernelname = VTOP(kname); in load()