[PATCH] ARM: EXYNOS4: Add platform device for dwmci driver.

[Russell King - ARM Linux]

On Wed, Jul 13, 2011 at 04:17:59PM +0900, Seungwon Jeon wrote:
> +#include <linux/kernel.h>
> +#include <linux/dma-mapping.h>
> +#include <linux/platform_device.h>
> +#include <linux/interrupt.h>
> +#include <linux/mmc/dw_mmc.h>
> +#include <linux/mmc/host.h>
> +#include <linux/io.h>
> +
> +#include <mach/map.h>
> +#include <mach/gpio.h>

This should be linux/gpio.h