> you can invalidate ALL the caches, but you generally don't need to do > >that... > > how can that be done ? > It seems that even flush_cache_all is empty. Intel Arch software developer manual: vol 1 INVD: Invalidate cache. No write back WBINVD: Invalidate cache with writeback -- Kernelnewbies: Help each other learn about the Linux kernel. Archive: http://mail.nl.linux.org/kernelnewbies/ FAQ: http://kernelnewbies.org/faq/