cacheflush.h revision bb735019
1