Searched refs:bi_kernelname (Results 1 – 3 of 3) sorted by relevance
250 bi.bi_kernelname = 0; /* XXX char * -> kernel name */ in bi_load32()262 bi.bi_kernelname = VTOP(kernelpath); in bi_load32()
51 u_int32_t bi_kernelname; /* represents a char * */ member
430 bootinfo.bi_kernelname = VTOP(kname); in load()