/*
 * remnants of RTLinux task queues
 *
 *  Copyright (C) 1999 FSM Labs (http://www.fsmlabs.com/)
 *  Written by Michael Barabanov <baraban@fsmlabs.com>
 */

#ifndef __RTL_TQUEUE__
#define __RTL_TQUEUE__

#include <rtl.h>
#include <linux/workqueue.h>

#define rtl_schedule_task(tsk) schedule_work(tsk)

#endif
