Add helpers to run flush_dcache_page