/* linux/arch/arm/plat-samsung/devs.c * * Copyright (c) 2011 Samsung Electronics Co., Ltd. * http://www.samsung.com * * Base SAMSUNG platform device definitions * * 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/kernel.h>#include<linux/types.h>#include<linux/interrupt.h>#include<linux/list.h>#include<linux/timer.h>#include<linux/init.h>#include<linux/serial_core.h>#include<linux/platform_device.h>#include<linux/io.h>#include<linux/slab.h>#include<linux/string.h>#include<linux/dma-mapping.h>#include<linux/fb.h>#include<linux/gfp.h>#include<linux/mtd/mtd.h>#include<linux/mtd/onenand.h>#include<linux/mtd/partitions.h>#include<linux/mmc/host.h>#include<linux/ioport.h>#include<linux/platform_data/s3c-hsudc.h>#include<asm/irq.h>#include<asm/pmu.h>#include<asm/mach/arch.h>#include<asm/mach/map.h>#include<asm/mach/irq.h>#include<mach/hardware.h>#include<mach/dma.h>#include<mach/irqs.h>#include<mach/map.h>#include<plat/cpu.h>#include<plat/devs.h>#include<plat/adc.h>#include<plat/ata.h>#include<plat/ehci.h>#include<plat/fb.h>#include<plat/fb-s3c2410.h>#include<plat/hwmon.h>#include<plat/iic.h>#include<plat/keypad.h>#include<plat/mci.h>#include<plat/nand.h>#include<plat/sdhci.h>#include<plat/ts.h>#include<plat/udc.h>#include<plat/usb-control.h>#include<plat/usb-phy.h>#include<plat/regs-iic.h>#include<plat/regs-serial.h>#include<plat/regs-spi.h>staticu64samsung_device_dma_mask=
