The PCI server enables either the MSI or MSIX capability depending on
which is selected and also assigns MSI/X IRQ numbers to the device. Is
this what you are talking about?
Yes and No.
From the example provided by the pci_attach_device documentation:
if (pci_read_config8 (bus, devfn, cap_ptr, 1, &cap))
<<<--- that means the OS must set the capabilities before
<<<--- but in the dumps of pci or lspci I saw
<<<--- never entries of the MSI capabilities of PCIe
devices
return (-1);
if (cap == PCI_CAP_MSI)
The assigned IRQ seems alway connected to an INTx line ... which
is the default non MSI mapping.