31c31
< __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 266301 2014-05-17 11:27:36Z andrew $");
---
> __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 267388 2014-06-12 11:37:38Z br $");
76a77,79
> /* CHIP ID */
> arm_devmap_add_entry(0x10000000, 0x100000);
>
< __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 266301 2014-05-17 11:27:36Z andrew $");
---
> __FBSDID("$FreeBSD: head/sys/arm/samsung/exynos/exynos5_machdep.c 267388 2014-06-12 11:37:38Z br $");
76a77,79
> /* CHIP ID */
> arm_devmap_add_entry(0x10000000, 0x100000);
>