cacheflush.h revision d3580427
1