|
|
| version 1.7, 2004/02/21 06:37:07 | version 1.8, 2004/02/21 19:12:39 |
|---|---|
| Line 534 nexus_setup_intr(device_t bus, device_t | Line 534 nexus_setup_intr(device_t bus, device_t |
| driver = device_get_driver(child); | driver = device_get_driver(child); |
| switch (flags & ~INTR_FAST) { | switch (flags & ~INTR_FAST) { |
| case INTR_TYPE_AV: | |
| case INTR_TYPE_TTY: | case INTR_TYPE_TTY: |
| mask = &tty_imask; | mask = &tty_imask; |
| break; | break; |