static int
ti_omap4_devmap_init(platform_t plat)
{
devmap_add_entry(0x48000000, 0x01000000); /*16mb L4_PER devices */
devmap_add_entry(0x4A000000, 0x01000000); /*16mb L4_CFG devices */
return (0);
}
/*
* Add a single static device mapping.
* The values used were taken from the ranges property of the SoC node in the
* dts file when this code was converted to arm_devmap_add_entry().
*/
int
platform_devmap_init(void)
{
devmap_add_entry(0x19C00000, 0xE0000);
devmap_add_entry(0x1e800000, 0x800000);
devmap_add_entry(0x1f000000, 0x400000);
return (0);
}
/*
* Set up static device mappings.
*/
int
platform_devmap_init(void)
{
devmap_add_entry(0x10000000, 0x00200000);
devmap_add_entry(0x20000000, 0x00100000);
return (0);
}
/*
* Set up static device mappings.
*/
static int
rk30xx_devmap_init(platform_t plat)
{
devmap_add_entry(0x10000000, 0x00200000);
devmap_add_entry(0x20000000, 0x00100000);
return (0);
}
/*
* Set up static device mappings. Not strictly necessary -- simplebus will
* dynamically establish mappings as needed -- but doing it this way gets us
* nice efficient 1MB section mappings.
*/
static int
zynq7_devmap_init(platform_t plat)
{
devmap_add_entry(ZYNQ7_PSIO_HWBASE, ZYNQ7_PSIO_SIZE);
devmap_add_entry(ZYNQ7_PSCTL_HWBASE, ZYNQ7_PSCTL_SIZE);
return (0);
}
/*
* Set up static device mappings. This is hand-optimized platform-specific
* config data which covers most of the common on-chip devices with a few 1MB
* section mappings.
*
* Notably missing are entries for GPU, IPU, in general anything video related.
*/
static int
imx53_devmap_init(platform_t plat)
{
devmap_add_entry(0x50000000, 0x00100000);
devmap_add_entry(0x53f00000, 0x00100000);
devmap_add_entry(0x63f00000, 0x00100000);
return (0);
}
/*
* Set up static device mappings. This is hand-optimized platform-specific
* config data which covers most of the common on-chip devices with a few 1MB
* section mappings.
*
* Notably missing are entries for GPU, IPU, in general anything video related.
*/
static int
imx51_devmap_init(platform_t plat)
{
devmap_add_entry(0x70000000, 0x00100000);
devmap_add_entry(0x73f00000, 0x00100000);
devmap_add_entry(0x83f00000, 0x00100000);
return (0);
}
int
platform_devmap_init(void)
{
/* CHIP ID */
devmap_add_entry(0x10000000, 0x100000);
/* UART */
devmap_add_entry(0x12C00000, 0x100000);
/* DWMMC */
devmap_add_entry(0x12200000, 0x100000);
return (0);
}
/*
* Construct devmap table with DT-derived config data.
*/
int
platform_devmap_init(void)
{
alpine_get_devmap_base(&al_devmap_pa, &al_devmap_size);
devmap_add_entry(al_devmap_pa, al_devmap_size);
return (0);
}
/*
* Set up static device mappings.
* All on-chip peripherals exist in a 16MB range starting at 0x20000000.
* Map the entire range using 1MB section mappings.
*/
static int
bcm2835_devmap_init(platform_t plat)
{
devmap_add_entry(0x20000000, 0x01000000);
return (0);
}
/*
* Set up static device mappings.
*
*/
static int
tegra124_devmap_init(platform_t plat)
{
devmap_add_entry(0x70000000, 0x01000000);
return (0);
}
/*
* Set up static device mappings.
*
* This covers all the on-chip device with 1MB section mappings, which is good
* for performance (uses fewer TLB entries for device access).
*
* XXX It also covers a block of SRAM and some GPU (mali400) stuff that maybe
* shouldn't be device-mapped. The original code mapped a 4MB block, but
* perhaps a 1MB block would be more appropriate.
*/
static int
allwinner_devmap_init(platform_t plat)
{
devmap_add_entry(0x01C00000, 0x00400000); /* 4MB */
return (0);
}
/*
* Construct static devmap entries to map out the core
* peripherals using 1mb section mappings.
*/
int
platform_devmap_init(void)
{
devmap_add_entry(0xc1100000, 0x200000); /* cbus */
devmap_add_entry(0xc4200000, 0x100000); /* pl310 */
devmap_add_entry(0xc4300000, 0x100000); /* periph */
devmap_add_entry(0xc8000000, 0x100000); /* apbbus */
devmap_add_entry(0xc8100000, 0x100000); /* aobus */
devmap_add_entry(0xc9000000, 0x800000); /* ahbbus */
devmap_add_entry(0xd9000000, 0x100000); /* ahb */
devmap_add_entry(0xda000000, 0x100000); /* secbus */
return (0);
}
static int
ti_am335x_devmap_init(platform_t plat)
{
devmap_add_entry(0x44C00000, 0x00400000); /* 4mb L4_WKUP devices*/
devmap_add_entry(0x47400000, 0x00100000); /* 1mb USB */
devmap_add_entry(0x47800000, 0x00100000); /* 1mb mmchs2 */
devmap_add_entry(0x48000000, 0x01000000); /*16mb L4_PER devices */
devmap_add_entry(0x49000000, 0x00100000); /* 1mb edma3 */
devmap_add_entry(0x49800000, 0x00300000); /* 3mb edma3 */
devmap_add_entry(0x4A000000, 0x01000000); /*16mb L4_FAST devices*/
return (0);
}