find_tsm_dev
struct tsm_dev *tsm_dev __free(put_tsm_dev) = find_tsm_dev(id);
struct tsm_dev *find_tsm_dev(int id);