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