Remove a comment about devices being able to specify multiple interrupt

types. This is no longer the case because interrupt types now have to map to
an ithread priority (c.f. intr_priority()).
This commit is contained in:
Rui Paulo 2013-04-04 15:40:19 +00:00
parent 30575200b5
commit 674b6cecdc

View File

@ -178,11 +178,8 @@ typedef void driver_intr_t(void*);
* spls implicit in names like INTR_TYPE_TTY. In the meantime, don't
* confuse things by renaming them (Grog, 18 July 2000).
*
* We define this in terms of bits because some devices may belong
* to multiple classes (and therefore need to be included in
* multiple interrupt masks, which is what this really serves to
* indicate. Buses which do interrupt remapping will want to
* change their type to reflect what sort of devices are underneath.
* Buses which do interrupt remapping will want to change their type
* to reflect what sort of devices are underneath.
*/
enum intr_type {
INTR_TYPE_TTY = 1,