| /* SPDX-License-Identifier: GPL-2.0-only */ | |
| #ifndef __ACPI_VIOT_H__ | |
| #define __ACPI_VIOT_H__ | |
| #include <linux/acpi.h> | |
| #ifdef CONFIG_ACPI_VIOT | |
| void __init acpi_viot_init(void); | |
| int viot_iommu_configure(struct device *dev); | |
| #else | |
| static inline void acpi_viot_init(void) {} | |
| static inline int viot_iommu_configure(struct device *dev) | |
| { | |
| return -ENODEV; | |
| } | |
| #endif | |
| #endif /* __ACPI_VIOT_H__ */ |