1 /* SPDX-License-Identifier: GPL-2.0 */
2 /*
3  * (C) Copyright 2019 Matthias Brugger
4  */
5 
6 #ifndef _BCM283x_BASE_H_
7 #define _BCM283x_BASE_H_
8 
9 extern unsigned long rpi_bcm283x_base;
10 
11 #ifdef CONFIG_ARMV7_LPAE
12 #ifdef CONFIG_TARGET_RPI_4_32B
13 #include <addr_map.h>
14 #define phys_to_virt addrmap_phys_to_virt
15 #define virt_to_phys addrmap_virt_to_phys
16 #endif
17 #endif
18 
19 #endif
20