UNREG: use __builtin___clear_cache where available