5 * Copyright 2008 Freescale Semiconductor, Inc.
7 * SPDX-License-Identifier: GPL-2.0
10 #include <asm/types.h>
12 extern phys_addr_t addrmap_virt_to_phys(void *vaddr);
13 extern void *addrmap_phys_to_virt(phys_addr_t paddr);
14 extern void addrmap_set_entry(unsigned long vaddr, phys_addr_t paddr,
15 phys_size_t size, int idx);