1 /* SPDX-License-Identifier: GPL-2.0 */
6 * Copyright 2008 Freescale Semiconductor, Inc.
17 #ifdef CONFIG_ADDR_MAP
18 extern struct addrmap address_map
[CONFIG_SYS_NUM_ADDR_MAP
];
21 phys_addr_t
addrmap_virt_to_phys(void *vaddr
);
22 void *addrmap_phys_to_virt(phys_addr_t paddr
);
23 void addrmap_set_entry(unsigned long vaddr
, phys_addr_t paddr
,
24 phys_size_t size
, int idx
);