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