tag	line	file	source code
max_prio	110	kernel/sys.c	int max_prio = 0;
max_prio	118	kernel/sys.c	if ((*p)->priority > max_prio)
max_prio	119	kernel/sys.c	max_prio = (*p)->priority;
max_prio	121	kernel/sys.c	return(max_prio ? max_prio : -ESRCH);