version 1.44, 2002/07/30 07:40:09 |
version 1.45, 2002/09/06 13:18:43 |
|
|
kernfs_get_rrootdev() |
kernfs_get_rrootdev() |
{ |
{ |
static int tried = 0; |
static int tried = 0; |
int cmaj; |
|
|
|
if (tried) { |
if (tried) { |
/* Already did it once. */ |
/* Already did it once. */ |
Line 107 kernfs_get_rrootdev() |
|
Line 106 kernfs_get_rrootdev() |
|
|
|
if (rootdev == NODEV) |
if (rootdev == NODEV) |
return; |
return; |
for (cmaj = 0; cmaj < nchrdev; cmaj++) { |
rrootdev = devsw_blk2chr(rootdev); |
rrootdev = makedev(cmaj, minor(rootdev)); |
if (rrootdev != NODEV) { |
if (chrtoblk(rrootdev) == rootdev) { |
|
#ifdef KERNFS_DIAGNOSTIC |
#ifdef KERNFS_DIAGNOSTIC |
printf("kernfs_mount: rootdev = %u.%u; rrootdev = %u.%u\n", |
printf("kernfs_mount: rootdev = %u.%u; rrootdev = %u.%u\n", |
major(rootdev), minor(rootdev), major(rrootdev), minor(rrootdev)); |
major(rootdev), minor(rootdev), major(rrootdev), minor(rrootdev)); |
#endif |
#endif |
return; |
return; |
} |
|
} |
} |
rrootdev = NODEV; |
rrootdev = NODEV; |
printf("kernfs_get_rrootdev: no raw root device\n"); |
printf("kernfs_get_rrootdev: no raw root device\n"); |