/* This function adds a work defined by @wrk to the tail of the pending works list.  */
static void schedule_ubi_work(struct ubi_device *ubi, struct ubi_work *wrk)
/* This function adds a work defined by @wrk to the tail of the pending works list.  */
static void schedule_ubi_work(struct ubi_device *ubi, struct ubi_work *wrk)
{
	down_read(&ubi->work_sem);
	__schedule_ubi_work(ubi, wrk);
	up_read(&ubi->work_sem);
}