[Differential] [Commented On] D2378: Introduce ITS support for ARM64

Mon Jul 6 09:17:09 UTC 2015

andrew added inline comments.

INLINE COMMENTS
  sys/arm64/arm64/gic_v3_its.c:163 Ignore this, it was an old comment I missed

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

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

To: zbb, imp, ian, emaste, manpages, andrew
Cc: eadler, gnn, kib, emaste, andrew, freebsd-arm-list, imp