-
alex@thinkpad authored
* arm-mcr.h: clean_d_cache and flush_i_cache are now private (sync_caches is the high-level function to be used) * replaced all calls to clean_d_cache/flush_i_cache with sync_caches * should fix issues with randomly "disappearing" cache patches * to be tested for performance issues etc --HG-- branch : patchmgr
4c33f6439858