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);
14