diff options
Diffstat (limited to 'src/dev/intel_8254_timer.hh')
| -rw-r--r-- | src/dev/intel_8254_timer.hh | 12 |
1 files changed, 0 insertions, 12 deletions
diff --git a/src/dev/intel_8254_timer.hh b/src/dev/intel_8254_timer.hh index 26ea0687e..30ddc7bca 100644 --- a/src/dev/intel_8254_timer.hh +++ b/src/dev/intel_8254_timer.hh @@ -137,10 +137,6 @@ class Intel8254Timer : public EventManager /** Pointer to container */ Intel8254Timer *parent; - /** if non-zero, the scheduled tick of an event used for drain - serialization coordination */ - Tick event_tick; - public: Counter(Intel8254Timer *p, const std::string &name, unsigned int num); @@ -169,12 +165,6 @@ class Intel8254Timer : public EventManager bool outputHigh(); /** - * Drain all associated events. - * @param drainEvent - */ - unsigned int drain(Event *de); - - /** * Serialize this object to the given output stream. * @param base The base name of the counter object. * @param os The stream to serialize to. @@ -239,8 +229,6 @@ class Intel8254Timer : public EventManager return counter[num]->outputHigh(); } - unsigned int drain(Event *de); - /** * Serialize this object to the given output stream. * @param base The base name of the counter object. |