/* SPDX-License-Identifier: GPL-2.0-only */
#include <linux/init.h>

void __init acpi_iovt_init(void);
void __init acpi_iovt_late_init(void);