diff options
Diffstat (limited to 'src/dev/arm/vgic.hh')
| -rw-r--r-- | src/dev/arm/vgic.hh | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/dev/arm/vgic.hh b/src/dev/arm/vgic.hh index 40e42d4fa..872dfcf87 100644 --- a/src/dev/arm/vgic.hh +++ b/src/dev/arm/vgic.hh @@ -1,5 +1,5 @@ /* - * Copyright (c) 2013 ARM Limited + * Copyright (c) 2013,2018 ARM Limited * All rights reserved * * The license below extends only to copyright in the software and shall @@ -103,6 +103,7 @@ class VGic : public PioDevice static const uint32_t LR_PENDING = 1; static const uint32_t LR_ACTIVE = 2; + const uint32_t gicvIIDR; /** Post interrupt to CPU */ void processPostVIntEvent(uint32_t cpu); |