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

[emaste (Ed Maste)]

emaste added inline comments.

INLINE COMMENTS
  sys/arm64/arm64/gic_v3.c:297 Is something like GIC_LAST_LPI sensible? Or any interrupt number >= 8192 is LPI?

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

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

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