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

Mon May 4 16:47:57 UTC 2015

zbb added inline comments.

INLINE COMMENTS
  sys/arm64/arm64/gic_v3.c:300 Yes. This is taken from Linux.
  sys/arm64/arm64/gic_v3.c:302 Still looks better than PCPU_GET(cpuid) in line.
  sys/arm64/arm64/gic_v3.c:504 Added macros
  sys/arm64/arm64/gic_v3.c:509 normally?
  sys/arm64/arm64/gic_v3_reg.h:108 This relates to ICC_SRE_EL2 register (if you didn't know).
  I still don't get what is the problem here? Please write what do you mean exactly.

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