cacheflush.h revision 4f646254
1