in mm/cacheflush.c [133:139]
void flush_cache_range(struct vm_area_struct *vma, unsigned long start, unsigned long end) { __flush_dcache(start, end); if (vma == NULL || (vma->vm_flags & VM_EXEC)) __flush_icache(start, end); }