cacheflush.h revision e0509451
1