minix3/servers/vfs/vnode.o