Use ds_retrieve_u32 to find the endpoint of pci.

This commit is contained in:
Philip Homburg 2007-05-02 11:24:51 +00:00
parent 47c18edb26
commit 9852471c08

View File

@ -17,12 +17,14 @@ PUBLIC void pci_init1(name)
char *name;
{
int r;
u32_t u32;
size_t len;
message m;
r= _pm_findproc("pci", &pci_procnr);
r= ds_retrieve_u32("pci", &u32);
if (r != 0)
panic("pci", "pci_init1: _pm_findproc failed for 'pci'", r);
panic("pci", "pci_init1: ds_retrieve_u32 failed for 'pci'", r);
pci_procnr= u32;
m.m_type= BUSC_PCI_INIT;
len= strlen(name);