[Differential] [Updated] D2377: Introduce ARM GICv3 support

[emaste (Ed Maste)]

emaste added a comment.

I'm happy for this to be committed and we can address any further nits in subsequent commits.


REVISION DETAIL
  https://reviews.freebsd.org/D2377

EMAIL PREFERENCES
  https://reviews.freebsd.org/settings/panel/emailpreferences/

To: zbb, ian, imp, andrew, emaste, brueffer, joel, wblock
Cc: kostikbel, emaste, andrew, imp, freebsd-arm