280a281,292
> /**
> * Flush a cache line due to an uncacheable memory access to the
> * line.
> *
> * @note This shouldn't normally happen, but we need to handle it
> * since some architecture models don't implement cache
> * maintenance operations. We won't even try to get a decent
> * timing here since the line should have been flushed earlier by
> * a cache maintenance operation.
> */
> void uncacheableFlush(PacketPtr pkt);
>