minix3/lib/libsys/pci_attr_r32.o