Use clflush() when available for cache flushing.
2 files changed