1 /* SPDX-License-Identifier: GPL-2.0-only */
2 
3 #ifndef __ACPI_VIOT_H__
4 #define __ACPI_VIOT_H__
5 
6 #include <linux/acpi.h>
7 
8 #ifdef CONFIG_ACPI_VIOT
9 void __init acpi_viot_init(void);
10 int viot_iommu_configure(struct device *dev);
11 #else
acpi_viot_init(void)12 static inline void acpi_viot_init(void) {}
viot_iommu_configure(struct device * dev)13 static inline int viot_iommu_configure(struct device *dev)
14 {
15 	return -ENODEV;
16 }
17 #endif
18 
19 #endif /* __ACPI_VIOT_H__ */
20