From: Philip Homburg <philip@cs.vu.nl>
Date: Wed, 2 May 2007 11:24:51 +0000 (+0000)
Subject: Use ds_retrieve_u32 to find the endpoint of pci.
X-Git-Tag: v3.1.4~387
X-Git-Url: http://zhaoyanbai.com/repos/%22/xml/v3/zones/static/man.7.txt?a=commitdiff_plain;h=9852471c088cbb699eb37861f6279cbf8feaeed0;p=minix.git

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 443ca1a98..0e6d6b32f 100644
--- 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);