diff options
Diffstat (limited to 'src/dev/arm/timer_cpulocal.hh')
-rw-r--r-- | src/dev/arm/timer_cpulocal.hh | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/dev/arm/timer_cpulocal.hh b/src/dev/arm/timer_cpulocal.hh index 56bb359d9..fc52b3da0 100644 --- a/src/dev/arm/timer_cpulocal.hh +++ b/src/dev/arm/timer_cpulocal.hh @@ -177,14 +177,14 @@ class CpuLocalTimer : public BasicPioDevice * @param pkt The memory request. * @return Returns latency of device read */ - virtual Tick read(PacketPtr pkt); + Tick read(PacketPtr pkt) override; /** * Handle a write to the device. * @param pkt The memory request. * @return Returns latency of device write */ - virtual Tick write(PacketPtr pkt); + Tick write(PacketPtr pkt) override; void serialize(CheckpointOut &cp) const override; void unserialize(CheckpointIn &cp) override; |