diff options
Diffstat (limited to 'src/dev/arm/gic_pl390.hh')
-rw-r--r-- | src/dev/arm/gic_pl390.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dev/arm/gic_pl390.hh b/src/dev/arm/gic_pl390.hh index 05c9b5f70..5c8a71222 100644 --- a/src/dev/arm/gic_pl390.hh +++ b/src/dev/arm/gic_pl390.hh @@ -365,6 +365,7 @@ class Pl390 : public BaseGic, public BaseGicRegisters return dynamic_cast<const Params *>(_params); } Pl390(const Params *p); + ~Pl390(); DrainState drain() override; |