tag	line	file	source code
level	112	kernel/ioport.c	unsigned int level = ebx;
level	114	kernel/ioport.c	if (level > 3)
level	118	kernel/ioport.c	*(&eflags) = (eflags & 0xffffcfff) | (level << 12);