summaryrefslogtreecommitdiff
path: root/src/dev/intel_8254_timer.hh
diff options
context:
space:
mode:
Diffstat (limited to 'src/dev/intel_8254_timer.hh')
-rw-r--r--src/dev/intel_8254_timer.hh12
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.