1 // SPDX-License-Identifier: GPL-2.0+ 2 /* 3 * Copyright 2015 Stephen Warren 4 */ 5 6 #include <config.h> 7 #include <phys2bus.h> 8 phys_to_bus(unsigned long phys)9unsigned long phys_to_bus(unsigned long phys) 10 { 11 #ifndef CONFIG_BCM2835 12 return 0xc0000000 | phys; 13 #else 14 return 0x40000000 | phys; 15 #endif 16 } 17 bus_to_phys(unsigned long bus)18unsigned long bus_to_phys(unsigned long bus) 19 { 20 return bus & ~0xc0000000; 21 } 22