Searched refs:nfsbootdevname (Results 1 – 2 of 2) sorted by relevance
106 char *nfsbootdevname; variable137 if (nfsbootdevname == NULL || (ifp = if_unit(nfsbootdevname)) == NULL) in nfs_boot_init()
1433 extern char *nfsbootdevname; in setroot()1636 nfsbootdevname = rootdv->dv_xname; in setroot()