use syscall(__ARM_NR_cacheflush, ...) instead of __clear_cache