diff options
Diffstat (limited to 'src/arch/arm/system.hh')
| -rw-r--r-- | src/arch/arm/system.hh | 8 |
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) { |