| 1 | /* SPDX-License-Identifier: GPL-2.0-or-later */ |
| 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 |