1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _XEN_ARM_PAGE_COHERENT_H
 3#define _XEN_ARM_PAGE_COHERENT_H
 4
 5#include <linux/dma-mapping.h>
 6#include <asm/page.h>
 7
 8static inline void *xen_alloc_coherent_pages(struct device *hwdev, size_t size,
 9		dma_addr_t *dma_handle, gfp_t flags, unsigned long attrs)
10{
11	return dma_direct_alloc(hwdev, size, dma_handle, flags, attrs);
12}
13
14static inline void xen_free_coherent_pages(struct device *hwdev, size_t size,
15		void *cpu_addr, dma_addr_t dma_handle, unsigned long attrs)
16{
17	dma_direct_free(hwdev, size, cpu_addr, dma_handle, attrs);
18}
19
20#endif /* _XEN_ARM_PAGE_COHERENT_H */