46a47
> #include "config/full_system.hh"
177a179,182
> #if FULL_SYSTEM
> Platform *platform;
> #endif
>
220,221c225,226
< AddrRangeList getAddrRanges();
< AddrRangeList getIntAddrRange();
---
> void addressRanges(AddrRangeList &range_list);
> void getIntAddrRange(AddrRangeList &range_list);