67a68,74
> /** Returns dcache port.
> * @todo: Dcache port needs to be moved up to this level for SMT
> * to work. For now it just returns the port from one of the
> * threads.
> */
> Port *getDcachePort() { return thread[0].getDcachePort(); }
>