get_buffer_id
u32 get_buffer_id(struct tee_shm *shm);
u32 buf_id = get_buffer_id(tee[i].u.memref.shm);
buf_id = get_buffer_id(shm);