63a64,65
> Gic *gic;
>
65a68,72
> const Params *
> params() const {
> return dynamic_cast<const Params *>(_params);
> }
>
73a81,83
> /** Give platform a pointer to interrupt controller */
> void setGic(Gic *_gic) { gic = _gic; }
>