tag	line	file	source code
wavelan_splhi	200	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	219	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	1243	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	1290	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	1815	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	2032	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	2043	drivers/net/wavelan.c	x = wavelan_splhi();
wavelan_splhi	2129	drivers/net/wavelan.c	x = wavelan_splhi();