/* this function will return the mounted path for specified device. */
const char* dfs_filesystem_get_mounted_path(struct rt_device *device)
/* this function will return the mounted path for specified device. */
const char* dfs_filesystem_get_mounted_path(struct rt_device *device)
{
    const char *path = NULL;
    struct dfs_filesystem *iter;
    dfs_lock();
    for (iter = &filesystem_table[0];
            iter < &filesystem_table[DFS_FILESYSTEMS_MAX]; iter++)
    {
        if (iter->ops == NULL) continue;
        else if (iter->dev_id == device)
        {
            path = iter->path;
            break;
        }
    }
    dfs_unlock();
    return path;
}