/*
pci_init.c
*/

#include "syslib.h"
#include <minix/ds.h>
#include <minix/sysutil.h>

endpoint_t pci_procnr= ANY;

/*===========================================================================*
 *				pci_init				     *
 *===========================================================================*/
void pci_init(void)
{
	int r;
	message m;

	r= ds_retrieve_label_endpt("pci", &pci_procnr);
	if (r != 0)
		panic("pci_init: unable to obtain label for 'pci': %d", r);

	m.m_type= BUSC_PCI_INIT;
	r= ipc_sendrec(pci_procnr, &m);
	if (r != 0)
		panic("pci_init: can't talk to PCI: %d", r);
	if (m.m_type != 0)
		panic("pci_init: got bad reply from PCI: %d", m.m_type);
}