diff options
Diffstat (limited to 'src/dev/arm/vgic.hh')
| -rw-r--r-- | src/dev/arm/vgic.hh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/dev/arm/vgic.hh b/src/dev/arm/vgic.hh index ac88f842f..d44afd7a9 100644 --- a/src/dev/arm/vgic.hh +++ b/src/dev/arm/vgic.hh @@ -222,7 +222,7 @@ class VGic : public PioDevice Tick writeVCpu(PacketPtr pkt); Tick writeCtrl(PacketPtr pkt); - void updateIntState(int ctx_id); + void updateIntState(ContextID ctx_id); uint32_t getMISR(struct vcpuIntData *vid); void postVInt(uint32_t cpu, Tick when); void unPostVInt(uint32_t cpu); |