use prototype for __clear_cache across all linux-arm systems