K 10
svn:author
V 6
andrew
K 8
svn:date
V 27
2016-05-31T18:05:17.792514Z
K 7
svn:log
V 160
arm_gic_map is a mask not the CPUs ID, there is no need to shift it.

Pointy-hat to:	andrew
Obtained from:	ABT Systems Ltd
Sponsored by:	The FreeBSD Foundation

END