K 10
svn:author
V 6
rpaulo
K 8
svn:date
V 27
2015-05-20T06:23:01.160391Z
K 7
svn:log
V 159
ti_pruss: pass the correct IRQ to userland.

Also, fix several problems with the kqueue notification.

Submitted by:	Manuel Stühn freebsdnewbie at freenet.de

END