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 */ 17