> They do not address the same problem. I can not see that flush_icache_all is > modified, so this will not solve our problem. This patch will only minimize > the effect.
True. However, the same mechanism can be applied in the places where flush_icache_all is called to decide whether a cache invalidate broadcast is necessary or not. Oliver -- You received this message because you are subscribed to the Google Groups "Jailhouse" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/jailhouse-dev/E6DEC645-7662-4D3A-A532-86E4023BF913%40gmx.de.
