rem: devfs_write(fs_cookie _fs, fs_vnode _v, file_cookie _cookie, off_t pos, const void *buf, size_t *len)
add: devfs_write(fs_volume _fs, fs_vnode _v, fs_cookie _cookie, off_t pos, const void *buf, size_t *len)
context: devfs_write(fs_cookie _fs, fs_vnode _v, file_cookie _cookie, off_t pos, const void *buf, size_t *len){	struct devfs_vnode *vnode = _v;	struct devfs_cookie *cookie = _cookie;		TRACE(("devfs_write: vnode %p, cookie %p, pos %Ld, len %p\n", vnode, cookie, pos, len));	if (vnode->stream.type == STREAM_TYPE_DEVICE) {		struct devfs_part_map *part_map = vnode->stream.u.dev.part_map;		int written;		if (part_map) {			if (pos < 0)				pos = 0;			if (pos > part_map->size)				return 0;			*len = min(*len, part_map->size - pos);			pos += part_map->offset;		}		written = vnode->stream.u.dev.calls->write(cookie->u.dev.dcookie, pos, buf, len);		return written;	}	return EINVAL;}