tag	line	file	source code
max_prio	89	kernel/sys.c	int max_prio = 0;
max_prio	97	kernel/sys.c	if ((*p)->priority > max_prio)
max_prio	98	kernel/sys.c	max_prio = (*p)->priority;
max_prio	100	kernel/sys.c	return(max_prio ? max_prio : -ESRCH);