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