/* pci_attr_w16.c */ #include "pci.h" #include "syslib.h" #include /*===========================================================================* * pci_attr_w16 * *===========================================================================*/ PUBLIC void pci_attr_w16(devind, port, value) int devind; int port; u16_t value; { int r; message m; m.m_type= BUSC_PCI_ATTR_W16; m.m2_i1= devind; m.m2_i2= port; m.m2_l1= value; r= sendrec(pci_procnr, &m); if (r != 0) panic("pci", "pci_attr_w16: can't talk to PCI", r); if (m.m_type != 0) panic("pci", "pci_attr_w16: got bad reply from PCI", m.m_type); }