239a240,246
> /** Offset that should be used for binary/symbol loading.
> * This further allows more flexibily than the loadAddrMask allows alone in
> * loading kernels and similar. The loadAddrOffset is applied after the
> * loadAddrMask.
> */
> Addr loadAddrOffset;
>
324c331
< uint64_t
---
> uint64_t
335c342
< int
---
> int
341c348
< for (std::vector<bool>::iterator i = activeCpus.begin();
---
> for (std::vector<bool>::iterator i = activeCpus.begin();