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