cacheflush.h revision ebd88367
1