1// SPDX-License-Identifier: GPL-2.0
 2
 3#include <linux/dma-mapping.h>
 4#include <linux/dma-map-ops.h>
 5#include <linux/export.h>
 6#include <asm/machdep.h>
 7
 8void arch_dma_set_mask(struct device *dev, u64 dma_mask)
 9{
10	if (ppc_md.dma_set_mask)
11		ppc_md.dma_set_mask(dev, dma_mask);
12}
13EXPORT_SYMBOL(arch_dma_set_mask);