tag	line	file	source code
intflags	55	net/inet/datagram.c	unsigned long intflags;
intflags	58	net/inet/datagram.c	save_flags(intflags);
intflags	105	net/inet/datagram.c	restore_flags(intflags);;
intflags	115	net/inet/datagram.c	restore_flags(intflags);
intflags	120	net/inet/datagram.c	restore_flags(intflags);
intflags	138	net/inet/datagram.c	restore_flags(intflags);