/* pci_slot_name.c */ #include "pci.h" #include "syslib.h" #include /*===========================================================================* * pci_slot_name * *===========================================================================*/ char *pci_slot_name(devind) int devind; { static char name[80]; /* We need a better interface for this */ int r; cp_grant_id_t gid; message m; gid= cpf_grant_direct(pci_procnr, (vir_bytes)name, sizeof(name), CPF_WRITE); if (gid == -1) { printf("pci_dev_name: cpf_grant_direct failed: %d\n", errno); return NULL; } m.m_type= BUSC_PCI_SLOT_NAME_S; m.m1_i1= devind; m.m1_i2= sizeof(name); m.m1_i3= gid; r= ipc_sendrec(pci_procnr, &m); cpf_revoke(gid); if (r != 0) panic("pci_slot_name: can't talk to PCI: %d", r); if (m.m_type != 0) panic("pci_slot_name: got bad reply from PCI: %d", m.m_type); name[sizeof(name)-1]= '\0'; /* Make sure that the string is NUL * terminated. */ return name; }