|
|
| version 1.23, 2004/05/13 23:49:23 | version 1.24, 2004/05/19 22:52:58 |
|---|---|
| Line 1717 fildesc_drvinit(void *unused) | Line 1717 fildesc_drvinit(void *unused) |
| { | { |
| int fd; | int fd; |
| for (fd = 0; fd < NUMFDESC; fd++) | cdevsw_add(&fildesc_cdevsw, 0, 0); |
| for (fd = 0; fd < NUMFDESC; fd++) { | |
| make_dev(&fildesc_cdevsw, fd, | make_dev(&fildesc_cdevsw, fd, |
| UID_BIN, GID_BIN, 0666, "fd/%d", fd); | UID_BIN, GID_BIN, 0666, "fd/%d", fd); |
| } | |
| make_dev(&fildesc_cdevsw, 0, UID_ROOT, GID_WHEEL, 0666, "stdin"); | make_dev(&fildesc_cdevsw, 0, UID_ROOT, GID_WHEEL, 0666, "stdin"); |
| make_dev(&fildesc_cdevsw, 1, UID_ROOT, GID_WHEEL, 0666, "stdout"); | make_dev(&fildesc_cdevsw, 1, UID_ROOT, GID_WHEEL, 0666, "stdout"); |
| make_dev(&fildesc_cdevsw, 2, UID_ROOT, GID_WHEEL, 0666, "stderr"); | make_dev(&fildesc_cdevsw, 2, UID_ROOT, GID_WHEEL, 0666, "stderr"); |