K 10
svn:author
V 4
loos
K 8
svn:date
V 27
2015-02-04T18:35:49.955662Z
K 7
svn:log
V 175
Fix a bug where an interrupt could be masked unintentionally when
bus_config_intr() is called with the same interrupt type and polarity that
is already set.

Pointy hat:	loos

END