minix3/lib/libsys/pci_get_bar.pico