minix3/servers/devman/buf.o