// SPDX-License-Identifier: GPL-2.0+
/*
 * Copyright 2015 Stephen Warren
 */

#include <config.h>
#include <phys2bus.h>

unsigned long phys_to_bus(unsigned long phys)
{
#ifndef CONFIG_BCM2835
	return 0xc0000000 | phys;
#else
	return 0x40000000 | phys;
#endif
}

unsigned long bus_to_phys(unsigned long bus)
{
	return bus & ~0xc0000000;
}