tag	line	file	source code
new_level	18	kernel/splx.c	int splx (int new_level) {
new_level	22	kernel/splx.c	if (new_level)