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