/* * linux/arch/arm/mm/mmu.c * * Copyright (C) 1995-2005 Russell King * * This program is free software; you can redistribute it and/or modify * it under the terms of the GNU General Public License version 2 as * published by the Free Software Foundation. */#include<linux/module.h>#include<linux/kernel.h>#include<linux/errno.h>#include<linux/init.h>#include<linux/mman.h>#include<linux/nodemask.h>#include<linux/memblock.h>#include<linux/fs.h>#include<linux/vmalloc.h>#include<linux/sizes.h>#include<asm/cp15.h>#include<asm/cputype.h>#include<asm/sections.h>#include<asm/cachetype.h>#include<asm/sections.h>#include<asm/setup.h>#include<asm/smp_plat.h>#include<asm/tlb.h>#include<asm/highmem.h>#include<asm/system_info.h>#include<asm/traps.h>#include<asm/procinfo.h>#include<asm/memory.h>#include<asm/mach/arch.h>#include<asm/mach/map.h>#include<asm/mach/pci.h>#include"mm.h"#include"tcm.h"/* * empty_zero_page is a special page that is used for * zero-initialized data and COW.
