Use ds_retrieve_u32 to find the endpoint of pci.

diff --git a/lib/syslib/pci_init1.c b/lib/syslib/pci_init1.c
index 443ca1a98280d38fce449f5980296d93fc2bb519..0e6d6b32f60ec8fb1d34ac6244b3de815c787612 100644 (file)
--- a/lib/syslib/pci_init1.c
+++ b/lib/syslib/pci_init1.c
@@ -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);