devmap_add_entry
devmap_add_entry(0x01C00000, 0x00400000); /* 4MB */
devmap_add_entry(al_devmap_pa, al_devmap_size);
devmap_add_entry(0x3f000000, 0x01000000);
devmap_add_entry(IMX6_ARMMP_PHYS, IMX6_ARMMP_SIZE);
devmap_add_entry(IMX6_AIPS1_PHYS, IMX6_AIPS1_SIZE);
devmap_add_entry(IMX6_AIPS2_PHYS, IMX6_AIPS2_SIZE);
devmap_add_entry(0x40000000, 0x100000);
devmap_add_entry(0x70000000, 0x01000000);
devmap_add_entry(0x09000000, 0x100000); /* Uart */
devmap_add_entry(0x1c090000, 0x100000); /* Uart */
devmap_add_entry(IPQ4018_MEM_PSHOLD_START, IPQ4018_MEM_PSHOLD_SIZE);
devmap_add_entry(IPQ4018_MEM_UART1_START, IPQ4018_MEM_UART1_SIZE);
devmap_add_entry(0xFF000000, 0x00E00000);
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*/
devmap_add_entry(ZYNQ7_PSIO_HWBASE, ZYNQ7_PSIO_SIZE);
devmap_add_entry(ZYNQ7_PSCTL_HWBASE, ZYNQ7_PSCTL_SIZE);
void devmap_add_entry(vm_paddr_t pa, vm_size_t sz);