tag	line	file	source code
max_prio	85	kernel/sys.c	int max_prio = 0;
max_prio	93	kernel/sys.c	if ((*p)->priority > max_prio)
max_prio	94	kernel/sys.c	max_prio = (*p)->priority;
max_prio	96	kernel/sys.c	return(max_prio ? max_prio : -ESRCH);