cacheflush.h revision 6c960208
1