cacheflush.h revision d3251005
1