30c30
< __FBSDID("$FreeBSD: stable/10/sys/arm/freescale/imx/imx53_machdep.c 259322 2013-12-13 18:26:22Z ian $");
---
> __FBSDID("$FreeBSD: stable/10/sys/arm/freescale/imx/imx53_machdep.c 259365 2013-12-14 00:16:08Z ian $");
36a37,40
> #include <vm/vm.h>
>
> #include <machine/bus.h>
> #include <machine/devmap.h>
39a44,71
> vm_offset_t
> initarm_lastaddr(void)
> {
>
> return (arm_devmap_lastaddr());
> }
>
> void
> initarm_early_init(void)
> {
>
> /* XXX - Get rid of this stuff soon. */
> boothowto |= RB_VERBOSE|RB_MULTIPLE;
> bootverbose = 1;
> }
>
> void
> initarm_gpio_init(void)
> {
>
> }
>
> void
> initarm_late_init(void)
> {
>
> }
>
46,48d77
< *
< * Note that for imx this is called from initarm_lastaddr() so that the lowest
< * kva address used for static device mapping can be known at that point.
50,51c79,80
< void
< imx_devmap_init(void)
---
> int
> initarm_devmap_init(void)
54,56c83,87
< imx_devmap_addentry(0x50000000, 0x00100000);
< imx_devmap_addentry(0x53f00000, 0x00100000);
< imx_devmap_addentry(0x63f00000, 0x00100000);
---
> arm_devmap_add_entry(0x50000000, 0x00100000);
> arm_devmap_add_entry(0x53f00000, 0x00100000);
> arm_devmap_add_entry(0x63f00000, 0x00100000);
>
> return (0);