Andrew Turner 02a1932d1c 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
2016-05-31 18:05:17 +00:00
..
2016-05-23 20:13:17 +00:00
2016-05-04 15:48:59 +00:00
2016-05-04 15:48:59 +00:00