minix3/lib/libsys/pci_reserve.pico