K 10
svn:author
V 2
br
K 8
svn:date
V 27
2019-05-01T15:03:12.341976Z
K 7
svn:log
V 140
Deactivate IRQ resource by calling to intr_deactivate_irq().
This is the part of INTRNG support that was missed.

Sponsored by:	DARPA, AFRL

END