pci_conf_write16
pci_conf_write16(pc, tag, off + PCI_MSI_CTL + 2, ctl >> 16);
pci_conf_write16(pc, tag, off + PCI_MSI_CTL + 2, ctl >> 16);
pci_conf_write16(pc, tag, off + PCI_MSIX_CTL + 2, ctl >> 16);
void pci_conf_write16(pci_chipset_tag_t, pcitag_t, int, uint16_t);