1/* SPDX-License-Identifier: GPL-2.0 */
 2#ifndef _ASM_IA64_MACHVEC_DIG_VTD_h
 3#define _ASM_IA64_MACHVEC_DIG_VTD_h
 4
 5extern ia64_mv_setup_t			dig_setup;
 6extern ia64_mv_dma_init			pci_iommu_alloc;
 7
 8/*
 9 * This stuff has dual use!
10 *
11 * For a generic kernel, the macros are used to initialize the
12 * platform's machvec structure.  When compiling a non-generic kernel,
13 * the macros are used directly.
14 */
15#define ia64_platform_name			"dig_vtd"
16#define platform_setup				dig_setup
17#define platform_dma_init			pci_iommu_alloc
18
19#endif /* _ASM_IA64_MACHVEC_DIG_VTD_h */