[ARM] Fix flush_dcache_page()
Make flush_dcache_page() handle user space mappings correctly; with a VIVT cache, we need to make sure that any user space cache lines are coherent with the kernels view of the same page of memory.
Showing
Please register or sign in to comment