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
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)
16 {
17 return -ENODEV;
18 }
19 #endif
20
21 #endif /* __ACPI_VIOT_H__ */
22
Linux® is a registered trademark of Linus Torvalds in the United States and other countries.
TOMOYO® is a registered trademark of NTT DATA CORPORATION.