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);