K 10
svn:author
V 6
rpaulo
K 8
svn:date
V 27
2013-04-04T15:40:19.124692Z
K 7
svn:log
V 193
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()).

END