[ARM] Add flush_cache_user_page() for sys_cacheflush()
Add flush_cache_user_page() to handle sys_cacheflush. Userspace wants to use this call to ensure I/D cache coherency for runtime- built code (eg, used by Java etc). This does not fit well with the purpose of flush_cache_range(), so provide flush_cache_user_range() instead.
Showing
Please register or sign in to comment