flush.c (155433cb365ee4666bdf7c3c7bc2978b17be36a4) | flush.c (02f7760e6e5c3d726cd9622749cdae17c571b9a3) |
---|---|
1/* 2 * Based on arch/arm/mm/flush.c 3 * 4 * Copyright (C) 1995-2002 Russell King 5 * Copyright (C) 2012 ARM Ltd. 6 * 7 * This program is free software; you can redistribute it and/or modify 8 * it under the terms of the GNU General Public License version 2 as --- 8 unchanged lines hidden (view full) --- 17 * along with this program. If not, see <http://www.gnu.org/licenses/>. 18 */ 19 20#include <linux/export.h> 21#include <linux/mm.h> 22#include <linux/pagemap.h> 23 24#include <asm/cacheflush.h> | 1/* 2 * Based on arch/arm/mm/flush.c 3 * 4 * Copyright (C) 1995-2002 Russell King 5 * Copyright (C) 2012 ARM Ltd. 6 * 7 * This program is free software; you can redistribute it and/or modify 8 * it under the terms of the GNU General Public License version 2 as --- 8 unchanged lines hidden (view full) --- 17 * along with this program. If not, see <http://www.gnu.org/licenses/>. 18 */ 19 20#include <linux/export.h> 21#include <linux/mm.h> 22#include <linux/pagemap.h> 23 24#include <asm/cacheflush.h> |
25#include <asm/cachetype.h> | 25#include <asm/cache.h> |
26#include <asm/tlbflush.h> 27 28void sync_icache_aliases(void *kaddr, unsigned long len) 29{ 30 unsigned long addr = (unsigned long)kaddr; 31 32 if (icache_is_aliasing()) { 33 __clean_dcache_area_pou(kaddr, len); --- 52 unchanged lines hidden --- | 26#include <asm/tlbflush.h> 27 28void sync_icache_aliases(void *kaddr, unsigned long len) 29{ 30 unsigned long addr = (unsigned long)kaddr; 31 32 if (icache_is_aliasing()) { 33 __clean_dcache_area_pou(kaddr, len); --- 52 unchanged lines hidden --- |