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

Mon May 11 14:53:34 UTC 2015

zbb added inline comments.

INLINE COMMENTS
  sys/arm64/arm64/gic_v3.c:191 `i` is used as a kosher way to iterate in loop - using size_t type, whereas rid has to be int.

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