K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-05-20T15:43:51.443776Z
K 7
svn:log
V 177
Extract the correct bits from the GICD_TYPER register. The interrupt count
is encoded in the bottom 5 bits.

Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END