84a85,87
> // GICv3 CPU interface belonging to this ISA
> std::unique_ptr<BaseISADevice> gicv3CpuInterface;
>
91a95
> bool haveGICv3CPUInterface;
402a407
> BaseISADevice &getGICv3CPUInterface(ThreadContext *tc);