43 static int			acpi_syscont_release_msi(device_t bus, device_t dev,
45 static int			acpi_syscont_alloc_msix(device_t bus, device_t dev,
47 static int			acpi_syscont_release_msix(device_t bus, device_t dev,
49 static int			acpi_syscont_map_msi(device_t bus, device_t dev,
112 acpi_syscont_alloc_msi(device_t bus, device_t dev, int count, int maxcount,  in acpi_syscont_alloc_msi()  argument
115     device_t parent = device_get_parent(bus);  in acpi_syscont_alloc_msi()
122 acpi_syscont_release_msi(device_t bus, device_t dev, int count, int *irqs)  in acpi_syscont_release_msi()  argument
124     device_t parent = device_get_parent(bus);  in acpi_syscont_release_msi()
130 acpi_syscont_alloc_msix(device_t bus, device_t dev, int *irq)  in acpi_syscont_alloc_msix()  argument
132     device_t parent = device_get_parent(bus);  in acpi_syscont_alloc_msix()
138 acpi_syscont_release_msix(device_t bus, device_t dev, int irq)  in acpi_syscont_release_msix()  argument
140     device_t parent = device_get_parent(bus);  in acpi_syscont_release_msix()
146 acpi_syscont_map_msi(device_t bus, device_t dev, int irq, uint64_t *addr,  in acpi_syscont_map_msi()  argument
149     device_t parent = device_get_parent(bus);  in acpi_syscont_map_msi()