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.

1 files changed, 0 insertions, 8 deletions

diff --git a/src/arch/arm/system.hh b/src/arch/arm/system.hh
index 3add01e61..0b652f76c 100644
--- a/src/arch/arm/system.hh
+++ b/src/arch/arm/system.hh
@@ -85,11 +85,6 @@ class ArmSystem : public System
     const bool _haveVirtualization;
 
     /**
-     * True if this system implements the Generic Timer extension
-     */
-    const bool _haveGenericTimer;
-
-    /**
      * Pointer to the Generic Timer wrapper.
      */
     GenericTimer *_genericTimer;
@@ -157,9 +152,6 @@ class ArmSystem : public System
       */
     bool haveVirtualization() const { return _haveVirtualization; }
 
-    /** Returns true if this system implements the Generic Timer extension. */
-    bool haveGenericTimer() const { return _haveGenericTimer; }
-
     /** Sets the pointer to the Generic Timer. */
     void setGenericTimer(GenericTimer *generic_timer)
     {