1 /* SPDX-License-Identifier: GPL-2.0 */
6 * Copyright 2008 Freescale Semiconductor, Inc.
11 extern phys_addr_t addrmap_virt_to_phys(void *vaddr);
12 extern void *addrmap_phys_to_virt(phys_addr_t paddr);
13 extern void addrmap_set_entry(unsigned long vaddr, phys_addr_t paddr,
14 phys_size_t size, int idx);