minix3/lib/libsys/pci_dev_name.o