arm: Get rid of pointless have_generic_timer param
authorAndreas Sandberg <andreas.sandberg@arm.com>
Sat, 23 May 2015 12:46:54 +0000 (13:46 +0100)
committerAndreas Sandberg <andreas.sandberg@arm.com>
Sat, 23 May 2015 12:46:54 +0000 (13:46 +0100)
commit6533f2000bcd6d01f59655491198950b4ebff80b
treeee2f1e7f88ac64e343fa127c5c70ca00ab6aba88
parent2278fec1d1064ec1622098153b20a773fb688e78
arm: Get rid of pointless have_generic_timer param

The ArmSystem class has a parameter to indicate whether it is
configured to use the generic timer extension or not. This parameter
doesn't affect any feature flags in the current implementation and is
therefore completely unnecessary. In fact, we usually don't set it
even if a system has a generic timer. If we ever need to check if
there is a generic timer present, we should just request a pointer and
check if it is non-null instead.
src/arch/arm/ArmSystem.py
src/arch/arm/system.cc
src/arch/arm/system.hh