433d6423c3
Change-Id: Ic716f336b7071063997cf5b4dae6d50e0b4631e9
29 lines
617 B
C
29 lines
617 B
C
/*
|
|
pci_attr_w32.c
|
|
*/
|
|
|
|
#include "pci.h"
|
|
#include "syslib.h"
|
|
#include <minix/sysutil.h>
|
|
|
|
/*===========================================================================*
|
|
* pci_attr_w32 *
|
|
*===========================================================================*/
|
|
void pci_attr_w32(int devind, int port, u32_t value)
|
|
{
|
|
int r;
|
|
message m;
|
|
|
|
m.m_type= BUSC_PCI_ATTR_W32;
|
|
m.m2_i1= devind;
|
|
m.m2_i2= port;
|
|
m.m2_l1= value;
|
|
|
|
r= ipc_sendrec(pci_procnr, &m);
|
|
if (r != 0)
|
|
panic("pci_attr_w32: can't talk to PCI: %d", r);
|
|
|
|
if (m.m_type != 0)
|
|
panic("pci_attr_w32: got bad reply from PCI: %d", m.m_type);
|
|
}
|
|
|