26c26
< * $FreeBSD: head/sys/amd64/include/intr_machdep.h 163219 2006-10-10 23:23:12Z jhb $
---
> * $FreeBSD: head/sys/amd64/include/intr_machdep.h 164265 2006-11-13 22:23:34Z jhb $
46,48c46,48
< * For now we stick with 255 as ISA IRQs and PCI intline IRQs only allow
< * for IRQs in the range 0 - 254. When MSI support is added this number
< * will likely increase.
---
> * The first 255 IRQs (0 - 254) are reserved for ISA IRQs and PCI intline IRQs.
> * IRQ values beyond 256 are used by MSI. We leave 255 unused to avoid
> * confusion since 255 is used in PCI to indicate an invalid IRQ.
50c50,52
< #define NUM_IO_INTS 255
---
> #define NUM_MSI_INTS 128
> #define FIRST_MSI_INT 256
> #define NUM_IO_INTS (FIRST_MSI_INT + NUM_MSI_INTS)
52a55,59
> * Default base address for MSI messages on x86 platforms.
> */
> #define MSI_INTEL_ADDR_BASE 0xfee00000
>
> /*
142a150,155
> void msi_init(void);
> int msi_alloc(device_t dev, int count, int maxcount, int *irqs, int *newirq,
> int *newcount);
> int msi_release(int *irqs, int count);
> int msix_alloc(device_t dev, int index, int *irq, int *new);
> int msix_release(int irq);