K 10
svn:author
V 3
zbb
K 8
svn:date
V 27
2015-08-19T10:36:36.897781Z
K 7
svn:log
V 214
Add SMP support to GICv3 and ITS drivers

Introduce supprot for SMP to GICv3 and ITS drivers.

Obtained from: Semihalf
Sponsored by:  The FreeBSD Foundation
Differential Revision: https://reviews.freebsd.org/D3299

END