1 /* SPDX-License-Identifier: GPL-2.0+ */ 2 /* 3 * ACPI support for virtio 4 */ 5 6 #ifndef VIRTIO_ACPI_H 7 #define VIRTIO_ACPI_H 8 9 #include "exec/hwaddr.h" 10 11 void virtio_acpi_dsdt_add(Aml *scope, const hwaddr virtio_mmio_base, 12 const hwaddr virtio_mmio_size, uint32_t mmio_irq, 13 long int start_index, int num); 14 15 #endif 16