1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_ARM_XEN_OPS_H
 3#define _ASM_ARM_XEN_OPS_H
 4
 5#include <xen/swiotlb-xen.h>
 6#include <xen/xen-ops.h>
 7
 8static inline void xen_setup_dma_ops(struct device *dev)
 9{
10#ifdef CONFIG_XEN
11	if (xen_swiotlb_detect())
12		dev->dma_ops = &xen_swiotlb_dma_ops;
13#endif
14}
15
16#endif /* _ASM_ARM_XEN_OPS_H */