rem: struct devfs_vnode *v = _v;
add: struct devfs_vnode *vnode = _v;
context: static int devfs_close(fs_cookie _fs, fs_vnode _v, file_cookie _cookie){	struct devfs_vnode *v = _v;	struct devfs_cookie *cookie = _cookie;	int err;	TRACE(("devfs_close: entry vnode 0x%x, cookie 0x%x\n", v, cookie));	if(v->stream.type == STREAM_TYPE_DEVICE) {		// pass the call through to the underlying device		err = v->stream.u.dev.calls->close(cookie->u.dev.dcookie);	} else {		err = 0;	}	return err;}