minix3/lib/libsys/pci_find_dev.pico