/* pci_reserve.c */ #include "pci.h" #include "syslib.h" #include /*===========================================================================* * pci_reserve * *===========================================================================*/ PUBLIC void pci_reserve(devind) int devind; { int r; message m; m.m_type= BUSC_PCI_RESERVE; m.m1_i1= devind; r= sendrec(pci_procnr, &m); if (r != 0) panic("pci", "pci_reserve: can't talk to PCI", r); if (m.m_type != 0) panic("pci", "pci_reserve: got bad reply from PCI", m.m_type); }