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

[andrew (Andrew Turner)]

andrew added inline comments.

INLINE COMMENTS
  sys/arm64/include/armreg.h:113 These are special registers, they are listed by name in the docs. There is sort of an address (as much of one as the 32-bit coprocessor registers), but only the assembler needs to know about it.

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