[Differential] [Commented On] D2377: Introduce ARM GICv3 support

[zbb (Zbigniew Bodek)]

zbb added inline comments.

INLINE COMMENTS
  sys/arm64/arm64/locore.S:37 ups. I forgot to remove this.

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

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

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