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_early_init(void);
10 void __init acpi_viot_init(void);
11 int viot_iommu_configure(struct device *dev);
12 #else
acpi_viot_early_init(void)13 static inline void acpi_viot_early_init(void) {}
acpi_viot_init(void)14 static inline void acpi_viot_init(void) {}
viot_iommu_configure(struct device * dev)15 static inline int viot_iommu_configure(struct device *dev)
16 {
17 	return -ENODEV;
18 }
19 #endif
20 
21 #endif /* __ACPI_VIOT_H__ */
22