31c31
< __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 269703 2014-08-08 06:30:17Z nwhitehorn $");
---
> __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 272712 2014-10-07 17:39:30Z br $");
80a81,83
> /* DWMMC */
> arm_devmap_add_entry(0x12200000, 0x100000);
>
< __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 269703 2014-08-08 06:30:17Z nwhitehorn $");
---
> __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 272712 2014-10-07 17:39:30Z br $");
80a81,83
> /* DWMMC */
> arm_devmap_add_entry(0x12200000, 0x100000);
>