diff options
Diffstat (limited to 'src/dev')
| -rw-r--r-- | src/dev/net/etherswitch.hh | 2 | ||||
| -rw-r--r-- | src/dev/x86/pc.hh | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/src/dev/net/etherswitch.hh b/src/dev/net/etherswitch.hh index 69a3f40fd..760371777 100644 --- a/src/dev/net/etherswitch.hh +++ b/src/dev/net/etherswitch.hh @@ -60,7 +60,7 @@ class EtherSwitch : public EtherObject return dynamic_cast<const Params*>(_params); } - EtherInt *getEthPort(const std::string &if_name, int idx); + EtherInt *getEthPort(const std::string &if_name, int idx) override; protected: /** diff --git a/src/dev/x86/pc.hh b/src/dev/x86/pc.hh index 6cc57cb5d..fc209a67d 100644 --- a/src/dev/x86/pc.hh +++ b/src/dev/x86/pc.hh @@ -57,7 +57,7 @@ class Pc : public Platform /** * Do platform initialization stuff */ - void init(); + void init() override; Pc(const Params *p); |