[OpenBIOS] r579 - trunk/openbios-devel/modules

Segher Boessenkool segher at kernel.crashing.org
Sat Sep 19 11:37:22 CEST 2009

> +#ifdef CONFIG_PPC
> +		flush_icache_range( addr, addr + size );
> +#endif

I'm not sure what your flush_icache_range() does exactly, but at a
minimum it is misnamed: you need to flush the dcache for this range
to memory (dcbst is enough), do a sync, invalidate the icache (icbi),
do another sync, do an isync.


More information about the OpenBIOS mailing list