tree a7bb56d6739b7393024d7daa22d5cda4c369297f
parent 85516e9d019a7f5af0e394ea767185c12ffbcd42
parent 32ea4a895c4c914f0347dd1e943bca0f474a9050
author Colin Cross <ccross@android.com> 1392154746 +0000
committer Gerrit Code Review <noreply-gerritcodereview@google.com> 1392154747 +0000

Merge "pixelflinger: use __builtin___clear_cache instead of cacheflush"