335,346d334
< * 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);
<
< /**