56a57
> class BaseGic;
99a101
> BaseGic *_gic;
194a197,202
> /** Sets the pointer to the GIC. */
> void setGIC(BaseGic *gic)
> {
> _gic = gic;
> }
>
197a206,208
> /** Get a pointer to the system's GIC */
> BaseGic *getGIC() const { return _gic; }
>