diff options
Diffstat (limited to 'src/dev/arm/vgic.hh')
| -rw-r--r-- | src/dev/arm/vgic.hh | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/dev/arm/vgic.hh b/src/dev/arm/vgic.hh index 8328673d5..e9bc29c18 100644 --- a/src/dev/arm/vgic.hh +++ b/src/dev/arm/vgic.hh @@ -206,6 +206,7 @@ class VGic : public PioDevice return dynamic_cast<const Params *>(_params); } VGic(const Params *p); + ~VGic(); AddrRangeList getAddrRanges() const override; |