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