/* "@(#)priority.h	5.1	6/10/86" */

/* Header file for ros_priority system call */


#define DISPLAY_DRIVER_PRIORITY	8
#define DRIVER_PRIORITY		9
#define USER_MONITOR_PRIORITY	10
#define DEFAULT_UPROC_PRIORITY	20

/* old_prio = ros_priority (pid, prio) */

/*   pid  is pid of process to change (0=>self) */
/*   prio is a ROS priority (some constants above) */

int ros_priority();
