| /* SPDX-License-Identifier: GPL-2.0 */ | |
| /* | |
| * (C) Copyright 2019 Matthias Brugger | |
| */ | |
| #ifndef _BCM283x_BASE_H_ | |
| #define _BCM283x_BASE_H_ | |
| extern unsigned long rpi_mbox_base; | |
| extern unsigned long rpi_timer_base; | |
| extern unsigned long rpi_sdhci_base; | |
| extern unsigned long rpi_wdog_base; | |
| #ifdef CONFIG_ARMV7_LPAE | |
| #ifdef CONFIG_TARGET_RPI_4_32B | |
| #include <addr_map.h> | |
| #define phys_to_virt addrmap_phys_to_virt | |
| #define virt_to_phys addrmap_virt_to_phys | |
| #endif | |
| #endif | |
| #endif |