The dcache flushes are necessary before the page is mapped, to keep
track which pages we need to flush from the kernel address space
during the page fault right before we map them into userspace (i.e.
during flush_icache_page). We're not really flushing the cache there, we
only keeps track of it through the arch bitflag.
Andrea
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/