K 10
svn:author
V 2
br
K 8
svn:date
V 27
2020-10-27T15:18:10.289902Z
K 7
svn:log
V 247
Take the ITS device lock around gicv3_its_release_irqsrc() since that
function checks that the mutex lock is owned.

This fixes 'devctl disable re0' operation.

Sponsored by:	Innovate DSbD
Differential Revision:	https://reviews.freebsd.org/D26904

END