FreeBSD/sys/arm/freescale/imx/imx51_machdep.c
/*
 * 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.
 */
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.
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);
}
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 ) ; }
Set up static device mappings.
Set up static device mappings .