1 /* SPDX-License-Identifier: GPL-2.0-only */
3 #ifndef __ACPI_VIOT_H__
4 #define __ACPI_VIOT_H__
6 #include <linux/acpi.h>
8 #ifdef CONFIG_ACPI_VIOT
9 void __init acpi_viot_init(void);
10 int viot_iommu_configure(struct device *dev);
12 static inline void acpi_viot_init(void) {}
13 static inline int viot_iommu_configure(struct device *dev)
19 #endif /* __ACPI_VIOT_H__ */