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_early_init(void);
10 void __init acpi_viot_init(void);
11 int viot_iommu_configure(struct device *dev);
13 static inline void acpi_viot_early_init(void) {}
14 static inline void acpi_viot_init(void) {}
15 static inline int viot_iommu_configure(struct device *dev)
21 #endif /* __ACPI_VIOT_H__ */